Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries

Summary: Split mutual recursion loop into subloops and optimize rule order to reduce joins in bottom-up evaluation. Alters semi-naive evaluation to use deltas across loop levels, exposes loop-invariant factors, and gains from magic-sets style rewrites in a prototype. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7958
Venue: VLDB
Year: 1990
Pagerank: 5.4030815e-05
Overall Rank: 5,628 | 60.85%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,090	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs	1990	VLDB	4.8371966e-05

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 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.0010066783
77	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00057043861
365	On the Power of Magic	1987	PODS	0.00025585898
1,122	Bottom-Up Beats Top-Down For Datalog	1989	PODS	0.0001385042
4,881	Translation And Optimization Of Logic Queries: The Algebraic Approach	1986	VLDB	5.8567721e-05
7,817	Optimization Of Systems Of Algebraic Equations For Evaluating Datalog Queries	1987	VLDB	4.6435605e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
1,122	Bottom-Up Beats Top-Down For Datalog	1989	PODS	0.0001385042
3,553	Compiling Separable Recursions	1988	SIGMOD	6.9779134e-05
7,089	Space Optimization in the Bottom-Up Evaluation of Logic Programs	1991	SIGMOD	4.8371966e-05
7,075	Magic-sets Transformation in Nonrecursive Systems	1992	PODS	4.842703e-05
12,988	An Extended Disjunctive Normal Form Approach For Optimizing Recursive Logic Queries In Loosely Coupled Environments	1987	VLDB	4.1945683e-05
6,254	More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets	2011	SIGMOD	5.1368042e-05
1,529	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD	0.00011496686
296	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00028644922
2,042	Efficient Evaluation of Right-, Left-, and Multi-Linear Rules	1989	SIGMOD	9.699257e-05
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.0010066783