Relational Expressive Power of Constraint Query Languages

Summary: Shows recursive queries (parity, transitive closure) are inexpressible in relational calculus with polynomial inequalities over R. Establishes collapse: generic Boolean queries with many constraint classes collapse to the constraint-free relational calculus under both active-domain and natural semantics, using Ramsey-type combinatorics and nonstandard/model-theoretic methods. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h97cf20585d659912
Venue: PODS
Year: 1996
Pagerank: 9.2843518e-05
Overall Rank: 1,962 | 86.85%
DOI: 10.1145/237661.237667

Incoming Non-self Citations Over Time

Authors

1. Michael Benedikt (AT&T)
2. Guozhu Dong (University of Melbourne)
3. Leonid Libkin (AT&T)
4. Limsoon Wong (Institute of Systems Science)

BibTeX Citation

@inproceedings{benedikt_pods96,
        address = {New York, NY, USA},
        series = {{PODS} '96},
        title = {{Relational Expressive Power of Constraint Query Languages}},
        url = {https://dl.acm.org/doi/10.1145/237661.237667},
        doi = {10.1145/237661.237667},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Benedikt, Michael and Dong, Guozhu and Libkin, Leonid and Wong, Limsoon},
        year = {1996}
}

Incoming Citations (Sorted by Pagerank)

Showing 16 of 16 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,620	On the Decidability of Semi-Linearity for Semi-Algebraic Sets and its Implications for Spatial Databases (extended abstract)	1997	PODS	7.1356555e-05
3,781	Topological Queries in Spatial Databases	1996	PODS	7.0032193e-05
4,130	Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract)	1996	PODS	6.7751214e-05
4,311	An Expressive Language for Linear Spatial Database Queries (extended abstract)	1998	PODS	6.6568143e-05
4,336	Safe Constraint Queries	1998	PODS	6.6429071e-05
4,448	Languages for Relational Databases over Interpreted Structures	1997	PODS	6.5789235e-05
4,660	Exact and Approximate Aggregation in Constraint Query Languages	1999	PODS	6.4658312e-05
5,449	Querying Spatial Databases via Topological Invariants	1998	PODS	6.1105815e-05
5,616	Verifiable Properties of Database Transactions	1996	PODS	6.0475787e-05
5,857	On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract)	1997	PODS	5.9512616e-05
6,034	The 3W Model and Algebra for Unified Data Mining	2000	VLDB	5.8906344e-05
8,754	Towards Practical Constraint Databases (Extended Abstract)	1996	PODS	5.2705676e-05
12,179	Personal Insights for Altering Decisions of Tree-based Ensembles over Time	2020	VLDB	4.9605343e-05
13,100	A characterization of first-order topological properties of planar spatial data (Extended abstract)	2004	PODS	4.9605343e-05
13,211	Reachability and Connectivity Queries in Constraint Databases	2000	PODS	4.9605343e-05
13,216	Uniform Generation in Spatial Constraint Databases and Applications	2000	PODS	4.9605343e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
917	Constraint Programming and Database Languages: A Tutorial	1995	PODS	0.00013054852
1,515	Towards a Theory of Spatial Database Queries (Extended Abstract)	1994	PODS	0.00010390168
2,185	Normal Forms and Conservative Properties for Query Languages over Collection Types	1993	PODS	8.891353e-05
2,306	Finitely Representable Databases	1994	PODS	8.6526383e-05
4,130	Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract)	1996	PODS	6.7751214e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,667	On the Decidability of Query Containment under Constraints	1998	PODS
2	8,027	New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions	1994	PODS
3	1,934	The Expressiveness of a Family of Finite Set Languages	1991	PODS
4	13,212	Fixed-Point Query Languages for Linear Constraint Databases	2000	PODS
5	424	On the Complexity of Database Queries (Extended Abstract)	1997	PODS
6	13,978	A Dichotomy in the Intensional Expressive Power of Nested Relational Calculi augmented with Aggregate Functions and a Powerset Operator	2013	PODS
7	5,672	Dense-Order Constraint Databases (Extended Abstract)	1995	PODS
8	7,829	Positive Higher-Order Queries	2010	PODS
9	4,336	Safe Constraint Queries	1998	PODS
10	4,448	Languages for Relational Databases over Interpreted Structures	1997	PODS