Compiling Query Constraints

Summary: Introduce parametrized constraints and a compilation technique that pushes query constraints whose argument values are known only at runtime into view/predicate definitions, enabling execution on DB engines without full constraint solvers. Domain-independent method (equality on structures, linear arithmetic) that can push constraint selections beyond prior constraint-query rewriting techniques. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1015
Venue: PODS
Year: 1994
Pagerank: 5.3615981e-05
Overall Rank: 8,827 | 39.44%
DOI: 10.1145/182591.182598

Incoming Non-self Citations Over Time

Authors

1. Peter J. Stuckey (University of Melbourne)
2. S. Sudarshan (AT&T)

BibTeX Citation

@inproceedings{stuckey_pods94,
        address = {New York, NY, USA},
        series = {{PODS} '94},
        title = {{Compiling Query Constraints}},
        url = {https://dl.acm.org/doi/10.1145/182591.182598},
        doi = {10.1145/182591.182598},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Stuckey, Peter J. and Sudarshan, S.},
        year = {1994}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
889	Constraint Programming and Database Languages: A Tutorial	1995	PODS	0.00013398105
1,037	Cost-Based Optimization for Magic: Algebra and Implementation	1996	SIGMOD	0.00012494928

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038782376
344	On the Power of Magic	1987	PODS	0.00020659405
1,410	Magic is Relevant	1990	SIGMOD	0.00010853223
2,876	Pushing Constraint Selections	1992	PODS	8.0075966e-05
3,307	Magic Conditions	1990	PODS	7.5385358e-05
3,650	Implementation of Magic-sets in a Relational Database System	1994	SIGMOD	7.2249961e-05
3,812	Constraints and Redundancy in Datalog	1992	PODS	7.105413e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,199	Exploiting Constraint-Like Data Characterizations in Query Optimization	2001	SIGMOD
2	8,559	Towards Practical Constraint Databases (Extended Abstract)	1996	PODS
3	289	Optimization of Dynamic Query Evaluation Plans	1994	SIGMOD
4	1,797	How to Architect a Query Compiler	2016	SIGMOD
5	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
6	5,046	Toward Practical Constraint Databases	1993	VLDB
7	889	Constraint Programming and Database Languages: A Tutorial	1995	PODS
8	2,876	Pushing Constraint Selections	1992	PODS
9	2,111	Querying Constraints	1990	PODS
10	7,384	CONSTRAINT QUERY LANGUAGES (preliminary report)	1990	PODS