On the containment and equivalence of database queries with linear constraints (extended abstract)

On conjunctive queries containing inequalities

Journal of the ACM (JACM)

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I

The complexity of querying indefinite data about linearly ordered domains

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

On the computational complexity and geometry of the first-order theory of the reals. Par I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals

Journal of Symbolic Computation

Optimization of real conjunctive queries

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Finite-model theory—a personal perspective

ICDT Selected papers of the 4th international conference on Database theory

A closed-form evaluation for Datalog queries with integer (gap)-order constraints

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

Finitely representable databases (extended abstract)

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

New Decidability Results Concerning Two-Way Counter Machines

SIAM Journal on Computing

Constraint query languages

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Dense-order constraint databases (extended abstract)

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Conjunctive query containment with respect to views and constraints

Information Processing Letters

Relational expressive power of constraint query languages

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Linear vs. order constraint queries over rational databases (extended abstract)

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Answering queries using limited external query processors (extended abstract)

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Queries with arithmetical constraints

Theoretical Computer Science - Special issue: principles and practice of constraint programming

Efficient optimization of a class of relational expressions

ACM Transactions on Database Systems (TODS)

The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA

Reversal-Bounded Multicounter Machines and Their Decision Problems

Journal of the ACM (JACM)

Two-Way Counter Machines and Diophantine Equations

Journal of the ACM (JACM)

A relational model of data for large shared data banks

Communications of the ACM

Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level

Constraint Programming and Database Query Languages

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software

First-Order Queries on Finite Structures Over the Reals

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science

On the Structure of Queries in Constraint Query Languages

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing

Presburger arithmetic with bounded quantifier alternation

STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing