Languages that capture complexity classes
SIAM Journal on Computing
On the modes and meaning of feedback to transaction designers
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
An axiom system for database transactions
Information Processing Letters
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
Logical and computational aspects of programming with sets/bags/lists
Proceedings of the 18th international colloquium on Automata, languages and programming
The expressiveness of a family of finite set languages
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Procedural languages for database queries and updates
Journal of Computer and System Sciences
The expressive power of the bounded-iteration construct
Acta Informatica
Finite-model theory—a personal perspective
ICDT Selected papers of the 4th international conference on Database theory
New techniques for studying set languages, bag languages and aggregate functions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On a monadic NP vs monadic co-NP
Information and Computation
Formalizing Dijkstra's predicate transformer wp in weak second-order logic
Theoretical Computer Science
Relational expressive power of constraint query languages
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Transactions and integrity constraints
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A Discipline of Programming
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
An Effective Method for Integrity Constraint Simplification
Proceedings of the Fourth International Conference on Data Engineering
Some Properties of Query Languages for Bags
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Counting quantifiers, successor relations, and logarithmic space
SCT '95 Proceedings of the 10th Annual Structure in Complexity Theory Conference (SCT'95)
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Reliable Transaction Design Using MTS
COMPSAC '00 24th International Computer Software and Applications Conference
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Concurrent checking of global cross-database integrity constraints
Integrity and internal control in information systems V
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |