Processing Queries with Quantifiers: A Horticultural Approach

Summary: Algebra of graft-and-prune tree operations to directly evaluate conjunctive queries with mixed quantifiers, instead of nested-loop compilation or reduction to relational algebra. Transforms quantified CQs into graft/prune sequences yielding substantial space/time savings. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h6f2115afb57da2fb
Venue: PODS
Year: 1983
Pagerank: 6.4968665e-05
Overall Rank: 4,627 | 68.90%
DOI: 10.1145/588058.588075

Incoming Non-self Citations Over Time

Authors

1. Umeshwar Dayal (Computer Corporation of America)

BibTeX Citation

@inproceedings{dayal_pods83,
        address = {New York, NY, USA},
        series = {{PODS} '83},
        title = {{Processing Queries with Quantifiers: A Horticultural Approach}},
        url = {https://dl.acm.org/doi/10.1145/588058.588075},
        doi = {10.1145/588058.588075},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Dayal, Umeshwar},
        year = {1983}
}

Incoming Citations (Sorted by Pagerank)

Showing 7 of 7 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
97	Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers	1987	VLDB	0.00034124569
1,935	Extending the Algebraic Framework of Query Processing to Handle Outerjoins	1984	VLDB	9.3389342e-05
3,783	Providing Better Support for a Class of Decision Support Queries	1996	SIGMOD	7.0225701e-05
5,279	Overview of an Ada* Compatible Distributed Database Manager	1983	SIGMOD	6.1994622e-05
6,195	Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited	1989	SIGMOD	5.8535814e-05
7,324	Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases	1997	VLDB	5.5523996e-05
13,385	A Uniform Approach to Processing Temporal Queries	1992	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
1	Access Path Selection in a Relational Database Management System	1979	SIGMOD	0.0023947656
16	The Functional Data Model and the Data Language DAPLEX	1979	SIGMOD	0.00059996338
102	Efficient Optimization of a Class of Relational Expressions	1978	SIGMOD	0.00033914384
263	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.00022811354
1,427	CONVERT: A High Level Translation Definition Language for Data Conversion	1975	SIGMOD	0.00010703015
3,012	Query Processing Strategies in the PASCAL/R Relational Database Management System	1982	SIGMOD	7.7547306e-05
4,371	Query Optimization for CODASYL Database Systems	1982	SIGMOD	6.6302776e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,935	Extending the Algebraic Framework of Query Processing to Handle Outerjoins	1984	VLDB
2	7,292	Computing the Difference of Conjunctive Queries Efficiently	2023	SIGMOD
3	4,189	Processing Queries on Tree-Structured Data Efficiently	2006	PODS
4	4,390	On Semantic Reefs and Efficient Processing of Correlation Queries with Aggregates	1985	VLDB
5	3,783	Providing Better Support for a Class of Decision Support Queries	1996	SIGMOD
6	1,898	Querying Multiple Features of Groups in Relational Databases	1996	VLDB
7	11,483	Query Optimization by Quantifier Elimination	2024	PODS
8	97	Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers	1987	VLDB
9	12,580	Efficient Implementation of Generalized Quantification in Relational Query Languages	2013	VLDB
10	6,195	Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited	1989	SIGMOD