How to Forget the Past Without Repeating It
Summary: Proposes Sliding Window Tabulation for bottom-up deductive-database evaluation, storing intermediate facts only while they can affect future answers to avoid recomputation. Delivers time efficiency with significant space savings, a first step toward compile-time garbage collection in bottom-up evaluation. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,089 | Space Optimization in the Bottom-Up Evaluation of Logic Programs | 1991 | SIGMOD | 4.8371966e-05 |
| 12,905 | Detecting Redundant Tuples During Query Evaluation | 1991 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 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 |
| 365 | On the Power of Magic | 1987 | PODS | 0.00025585898 |
| 6,417 | Optimizing Existential Datalog Queries | 1988 | PODS | 5.0717071e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,767 | Polynomial Time Query Processing in Temporal Deductive Databases | 1990 | PODS | 6.7783966e-05 |
| 2,079 | A Framework for the Parallel Processing of Datalog Queries | 1990 | SIGMOD | 9.5979932e-05 |
| 1,291 | Multiple Query Processing in Deductive Databases using Query Graphs | 1986 | VLDB | 0.00012794369 |
| 1,122 | Bottom-Up Beats Top-Down For Datalog | 1989 | PODS | 0.0001385042 |
| 6,254 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1368042e-05 |
| 2,544 | Aggregation and Relevance in Deductive Databases | 1991 | VLDB | 8.5730083e-05 |
| 12,904 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1945683e-05 |
| 12,905 | Detecting Redundant Tuples During Query Evaluation | 1991 | PODS | 4.1945683e-05 |
| 5,628 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.4030815e-05 |
| 7,089 | Space Optimization in the Bottom-Up Evaluation of Logic Programs | 1991 | SIGMOD | 4.8371966e-05 |