Queries are easier than you thought (probably)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combinatorial games in database theory
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Perspectives on database theory
ACM SIGACT News
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Languages for relational databases over interpreted structures
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Conjunctive-query containment and constraint satisfaction
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Relational queries over interpreted structures
Journal of the ACM (JACM)
Logics with aggregate operators
Journal of the ACM (JACM)
Expressiveness of structured document query languages based on attribute grammars
Journal of the ACM (JACM)
Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
Abstract state machines and computationally complete query languages
Information and Computation
Lower bounds for invariant queries in logics with counting
Theoretical Computer Science - Complexity and logic
Relational Databases and Homogeneity in Logics with Counting
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Abstract State Machines and Computationally Complete Query Languages
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
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 expressive power of variable-confined logics
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Relational databases and homogeneity in logics with counting
Acta Cybernetica
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
Properties of Almost All Graphs and Generalized Quantifiers
Fundamenta Informaticae - Bridging Logic and Computer Science: to Johann A. Makowsky for his 60th birthday
Database theory: query languages
Algorithms and theory of computation handbook
Randomisation and derandomisation in descriptive complexity theory
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
SOF: a semantic restriction over second-order logic and its polynomial-time hierarchy
Conceptual Modelling and Its Theoretical Foundations
Degree lower bounds of tower-type for approximating formulas with parity quantifiers
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Degree lower bounds of tower-type for approximating formulas with parity quantifiers
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |