Range Nesting: A Fast Method To Evaluate Quantified Queries

Summary: Range Nesting: fast evaluation of quantified queries via range nesting in relational calculus. Focus on perfect expressions; enables fast evaluation of existential/universal quantification, covering tree and complacent queries for integrity checks and AI-DB interaction. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2223
Venue: SIGMOD
Year: 1983
Pagerank: 5.7026228e-05
Overall Rank: 5,093 | 64.57%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Matthias Jarke
2. Jürgen Koch

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,360	Data Constructors: On the Integration of Rules and Relations	1985	VLDB	0.00012385136
5,498	Translating and Optimizing SQL Queries Having Aggregates	1987	VLDB	5.4750555e-05
6,090	Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited	1989	SIGMOD	5.2148332e-05
7,079	Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases	1997	VLDB	4.8418318e-05
13,000	Adaptive Predicate Managers in Database Systems	1986	VLDB	4.1945683e-05

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
58	Efficient Optimization of a Class of Relational Expressions	1978	SIGMOD	0.00064826446
162	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.00039758372
163	Optimizing the Performance of a Relational Algebra Database Interface	1975	SIGMOD	0.00039689347
479	Access Paths in the "Abe" Statistical Query Facility	1982	SIGMOD	0.00022217448
1,283	Fast Methods For Testing Quantified Relational Calculus Assertions	1982	SIGMOD	0.0001284615
2,705	Query Processing Strategies in the PASCAL/R Relational Database Management System	1982	SIGMOD	8.2681571e-05
4,134	Query Optimization for CODASYL Database Systems	1982	SIGMOD	6.4191992e-05
7,677	Semi-Join Algorithms For Multiprocessor Systems	1982	SIGMOD	4.6813684e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
7,079	Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases	1997	VLDB	4.8418318e-05
8,704	Equivalence of Nested Queries with Mixed Semantics	2009	PODS	4.4647149e-05
2,110	A Recursive Algebra and Query Optimization for Nested Relations	1989	SIGMOD	9.5315487e-05
13,419	A Dichotomy in the Intensional Expressive Power of Nested Relational Calculi augmented with Aggregate Functions and a Powerset Operator	2013	PODS	-
10,914	Query Optimization by Quantifier Elimination	2024	PODS	4.1945683e-05
12,092	Efficient Implementation of Generalized Quantification in Relational Query Languages	2013	VLDB	4.1945683e-05
130	Optimization of Nested SQL Queries Revisited	1987	SIGMOD	0.00044031247
5,662	Query Unnesting in Object-Oriented Databases	1998	SIGMOD	5.3838456e-05
6,090	Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited	1989	SIGMOD	5.2148332e-05
14,281	EFFICIENT PROCESSING OF RELATIONAL CALCULUS EXPRESSIONS USING RANGE QUERY THEORY (Extended Abstract)	1984	SIGMOD	-