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: hab7d0f37a56ae126
Venue: PODS
Year: 1994
Pagerank: 5.2414297e-05
Overall Rank: 8,995 | 39.53%
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
914	Constraint Programming and Database Languages: A Tutorial	1995	PODS	0.00013104061
1,032	Cost-Based Optimization for Magic: Algebra and Implementation	1996	SIGMOD	0.00012401489

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
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00059023577
67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038009523
352	On the Power of Magic	1987	PODS	0.00020223279
1,438	Magic is Relevant	1990	SIGMOD	0.00010648031
2,937	Pushing Constraint Selections	1992	PODS	7.8356559e-05
3,364	Magic Conditions	1990	PODS	7.3731362e-05
3,707	Implementation of Magic-sets in a Relational Database System	1994	SIGMOD	7.0820673e-05
3,886	Constraints and Redundancy in Datalog	1992	PODS	6.9461797e-05

Semantically Similar Papers

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