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,085 | Space Optimization in the Bottom-Up Evaluation of Logic Programs | 1991 | SIGMOD | 4.8325254e-05 |
| 12,915 | Detecting Redundant Tuples During Query Evaluation | 1991 | PODS | 4.1905499e-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.00099936325 |
| 359 | On the Power of Magic | 1987 | PODS | 0.00025830228 |
| 6,412 | Optimizing Existential Datalog Queries | 1988 | PODS | 5.0668361e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,776 | Polynomial Time Query Processing in Temporal Deductive Databases | 1990 | PODS | 6.7716942e-05 |
| 2,087 | A Framework for the Parallel Processing of Datalog Queries | 1990 | SIGMOD | 9.5715836e-05 |
| 1,287 | Multiple Query Processing in Deductive Databases using Query Graphs | 1986 | VLDB | 0.00012798692 |
| 1,122 | Bottom-Up Beats Top-Down For Datalog | 1989 | PODS | 0.00013837099 |
| 6,253 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1318715e-05 |
| 2,544 | Aggregation and Relevance in Deductive Databases | 1991 | VLDB | 8.5646035e-05 |
| 12,914 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1905499e-05 |
| 12,915 | Detecting Redundant Tuples During Query Evaluation | 1991 | PODS | 4.1905499e-05 |
| 5,637 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.3978567e-05 |
| 7,085 | Space Optimization in the Bottom-Up Evaluation of Logic Programs | 1991 | SIGMOD | 4.8325254e-05 |