Space Optimization in the Bottom-Up Evaluation of Logic Programs

Summary: Space optimization in bottom-up logic-program evaluation via discarding no-longer-needed facts. Three components: propagate all derivations per fact, detect duplicate derivations, and order evaluation to minimize fact lifetimes; shows how combining methods yields a complete, more general solution than prior work. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2515
Venue: SIGMOD
Year: 1991
Pagerank: 4.8371966e-05
Overall Rank: 7,089 | 50.69%
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
4,118	Context-Sensitive Program Analysis as Database Queries	2005	PODS	6.4368597e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
7,090	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs	1990	VLDB	4.8371966e-05
7,978	How to Forget the Past Without Repeating It	1990	VLDB	4.613363e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,881	Translation And Optimization Of Logic Queries: The Algebraic Approach	1986	VLDB	5.8567721e-05
7,598	Polynomial-time program transformations in deductive databases	1990	PODS	4.7004867e-05
7,266	Termination Detection in Logic Programs using Argument Sizes* (Extended Abstract)	1991	PODS	4.782728e-05
10,914	Query Optimization by Quantifier Elimination	2024	PODS	4.1945683e-05
12,904	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS	4.1945683e-05
7,090	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs	1990	VLDB	4.8371966e-05
11,644	Compiling Existential-Positive Queries to Bounded-Variable Fragments	2019	PODS	4.1945683e-05
5,628	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB	5.4030815e-05
7,978	How to Forget the Past Without Repeating It	1990	VLDB	4.613363e-05
12,905	Detecting Redundant Tuples During Query Evaluation	1991	PODS	4.1945683e-05