Relational queries computable in polynomial time
Information and Control
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Languages that capture complexity classes
SIAM Journal on Computing
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Untyped sets, invention, and computable queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fixpoint extensions of first-order logic and datalog-like languages
Proceedings of the Fourth Annual Symposium on Logic in computer science
Finite-model theory—a personal perspective
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Procedural languages for database queries and updates
Journal of Computer and System Sciences
An analysis of fixed-point queries on binary trees
Theoretical Computer Science
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Queries are easier than you thought (probably)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics of aggregation
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semi-determinism (extended abstract)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Completeness results for recursive data bases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database method schemas and object creation
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A query language for list-based complex objects
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Functional database query languages as typed lambda calculi of fixed order (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Perspectives on database theory
ACM SIGACT News
Query languages for bags: expressive power and complexity
ACM SIGACT News
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
Abstract state machines and computationally complete query languages
Information and Computation
On non-determinism in machines and languages
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Index Structures for Path Expressions
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Query Languages for Real Number Databases Based on Descriptive Complexity over R
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
The Power of Methods With Parallel Semantics
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Reflective Relational Machines Working on Homogeneous Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Abstract State Machines and Computationally Complete Query Languages
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Partial Fixed-Point Logic on Infinite Structures
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Large finite structures with few Lk-types
Information and Computation - Special issue: LICS'97
More about recursive structures: descriptive complexity and zero-one laws
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the computation of approximations of database queries
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
SIGACT news complexity theory column 49
ACM SIGACT News
Computability by Sequences of Queries
Fundamenta Informaticae
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Fields of logic and computation
Relational transducers for declarative networking
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Highly expressive query languages for unordered data trees
Proceedings of the 15th International Conference on Database Theory
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Computability by Sequences of Queries
Fundamenta Informaticae
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines
Fundamenta Informaticae
CATEGORISATION OF COMPUTABLE DATABASE QUERIES
Fundamenta Informaticae
Relational transducers for declarative networking
Journal of the ACM (JACM)
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |