Pushing Constraint Selections

Summary: Defines QRP and minimum QRP constraints plus algorithms to push them into CQL programs so queries can use program-side constraints. Presents two propagation techniques (definition-based; fold/unfold with constraint manipulation) and decidability/termination results on computing minimum QRP. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 975
Venue: PODS
Year: 1992
Pagerank: 8.0075966e-05
Overall Rank: 2,876 | 80.27%
DOI: 10.1145/137097.137897

Incoming Non-self Citations Over Time

Authors

1. Divesh Srivastava (University of Wisconsin)
2. Raghu Ramakrishnan (University of Wisconsin)

BibTeX Citation

@inproceedings{srivastava_pods92,
        address = {New York, NY, USA},
        series = {{PODS} '92},
        title = {{Pushing Constraint Selections}},
        url = {https://dl.acm.org/doi/10.1145/137097.137897},
        doi = {10.1145/137097.137897},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Srivastava, Divesh and Ramakrishnan, Raghu},
        year = {1992}
}

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
889	Constraint Programming and Database Languages: A Tutorial	1995	PODS	0.00013398105
1,124	Query Optimization by Predicate Move-Around	1994	VLDB	0.00012087356
1,687	Spreadsheets in RDBMS for OLAP	2003	SIGMOD	0.00010005718
1,770	Supporting Executable Mappings in Model Management	2005	SIGMOD	9.7967596e-05
3,591	The LyriC Language: Querying Constraint Objects	1995	SIGMOD	7.279053e-05
5,046	Toward Practical Constraint Databases	1993	VLDB	6.3879316e-05
5,948	Measuring Infinite Relations (Extended Abstract)	1995	PODS	6.0317886e-05
8,827	Compiling Query Constraints	1994	PODS	5.3615981e-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
3,307	Magic Conditions	1990	PODS	7.5385358e-05
3,360	Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract)	1990	PODS	7.4890377e-05
3,824	Inference of Inequality Constraints in Logic Programs (Extended Abstract)	1991	PODS	7.0919497e-05
4,238	Polynomial Time Query Processing in Temporal Deductive Databases	1990	PODS	6.8109945e-05
4,536	On the Representation of Infinite Temporal Data and Queries (Extended Abstract)	1991	PODS	6.641885e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,890	Relational Expressive Power of Constraint Query Languages	1996	PODS
2	2,296	Containment and Minimization of Positive Conjunctive Queries in OODB's (Extended Abstract)	1992	PODS
3	1,630	On the Decidability of Query Containment under Constraints	1998	PODS
4	889	Constraint Programming and Database Languages: A Tutorial	1995	PODS
5	11,135	Query Optimization by Quantifier Elimination	2024	PODS
6	4,369	Semantic Query Optimization in the Presence of Types	2010	PODS
7	7,384	CONSTRAINT QUERY LANGUAGES (preliminary report)	1990	PODS
8	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
9	2,111	Querying Constraints	1990	PODS
10	8,827	Compiling Query Constraints	1994	PODS