Adding Magic to an Optimising Datalog Compiler
Summary: Magic-sets added to a fully automatic Datalog-to-SQL optimiser with no DB optimiser support. An abstract-interpretation of Datalog programs estimates relation sizes to drive a heuristic SIPS choice; evaluated on 100+ queries, it yields significant gains and never degrades when magic is unhelpful. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Damien Sereni
- 2. Pavel Avgustinov
- 3. Oege de Moor
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,253 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1318715e-05 |
| 9,713 | Materializing Knowledge Bases via Trigger Graphs | 2021 | VLDB | 4.2951473e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 11 of 11 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 |
| 144 | Optimization of Nonrecursive Queries | 1986 | VLDB | 0.00041430126 |
| 359 | On the Power of Magic | 1987 | PODS | 0.00025830228 |
| 725 | An Algorithm For Ordering Subgoals In Nail! | 1988 | PODS | 0.00017466684 |
| 782 | Optimization of Large Join Queries: Combining Heuristics and Combinatorial Techniques | 1989 | SIGMOD | 0.00016665859 |
| 897 | Estimating the Size of Generalized Transitive Closures | 1989 | VLDB | 0.00015484372 |
| 1,313 | Cost-Based Optimization for Magic: Algebra and Implementation | 1996 | SIGMOD | 0.00012629432 |
| 1,423 | Magic is Relevant | 1990 | SIGMOD | 0.00012047765 |
| 4,120 | Context-Sensitive Program Analysis as Database Queries | 2005 | PODS | 6.4306149e-05 |
| 4,198 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.361961e-05 |
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1109656e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,417 | Overbound and Right-Linear Queries | 1991 | PODS | 7.116211e-05 |
| 6,363 | On the Expected Size of Recursive Datalog Queries | 1991 | PODS | 5.0896537e-05 |
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00099936325 |
| 3,284 | Magic Conditions | 1990 | PODS | 7.2738706e-05 |
| 9,833 | Magic Functions : A Technique To Optimize Extended Datalog Recursive Programs | 1987 | VLDB | 4.2710095e-05 |
| 6,253 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1318715e-05 |
| 1,313 | Cost-Based Optimization for Magic: Algebra and Implementation | 1996 | SIGMOD | 0.00012629432 |
| 7,069 | Magic-sets Transformation in Nonrecursive Systems | 1992 | PODS | 4.8380576e-05 |
| 4,198 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.361961e-05 |
| 1,423 | Magic is Relevant | 1990 | SIGMOD | 0.00012047765 |