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,254 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1368042e-05 |
| 9,714 | Materializing Knowledge Bases via Trigger Graphs | 2021 | VLDB | 4.299267e-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.0010066783 |
| 143 | Optimization of Nonrecursive Queries | 1986 | VLDB | 0.00041510555 |
| 365 | On the Power of Magic | 1987 | PODS | 0.00025585898 |
| 688 | Estimating the Size of Generalized Transitive Closures | 1989 | VLDB | 0.00018134733 |
| 729 | An Algorithm For Ordering Subgoals In Nail! | 1988 | PODS | 0.00017483521 |
| 784 | Optimization of Large Join Queries: Combining Heuristics and Combinatorial Techniques | 1989 | SIGMOD | 0.00016675823 |
| 1,313 | Cost-Based Optimization for Magic: Algebra and Implementation | 1996 | SIGMOD | 0.0001263831 |
| 1,423 | Magic is Relevant | 1990 | SIGMOD | 0.00012054867 |
| 4,118 | Context-Sensitive Program Analysis as Database Queries | 2005 | PODS | 6.4368597e-05 |
| 4,199 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.3662839e-05 |
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1158809e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,414 | Overbound and Right-Linear Queries | 1991 | PODS | 7.1232056e-05 |
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.0010066783 |
| 6,365 | On the Expected Size of Recursive Datalog Queries | 1991 | PODS | 5.0945408e-05 |
| 3,283 | Magic Conditions | 1990 | PODS | 7.280826e-05 |
| 9,834 | Magic Functions : A Technique To Optimize Extended Datalog Recursive Programs | 1987 | VLDB | 4.2751057e-05 |
| 6,254 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1368042e-05 |
| 1,313 | Cost-Based Optimization for Magic: Algebra and Implementation | 1996 | SIGMOD | 0.0001263831 |
| 7,075 | Magic-sets Transformation in Nonrecursive Systems | 1992 | PODS | 4.842703e-05 |
| 4,199 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.3662839e-05 |
| 1,423 | Magic is Relevant | 1990 | SIGMOD | 0.00012054867 |