MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)
Summary: Presents magic sets, a rewriting that turns goal-directed logic programs into bottom-up evaluation to prune irrelevant facts and leverage efficient bulk joins. Compares ad-hoc linear-rule implementations and emphasizes the challenge of proving optimal evaluation strategies. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Francois Bancilhon
- 2. David Maier
- 3. Yehoshua Sagiv
- 4. Jeffrey D. Ullman
Incoming Citations (Sorted by Pagerank)
Showing 7 of 107 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,929 | Factoring Augmented Regular Chain Programs | 1990 | VLDB | 4.1945683e-05 |
| 12,962 | Classification Of Recursive Formulas In Deductive Databases | 1988 | SIGMOD | 4.1945683e-05 |
| 12,964 | A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing | 1988 | SIGMOD | 4.1945683e-05 |
| 12,970 | Computing Facts In Non-Horn Deductive Systems. | 1988 | VLDB | 4.1945683e-05 |
| 12,981 | A Necessary Condition For A Doubly Recursive Rule To Be Equivalent To A Linear Recursive Rule | 1987 | SIGMOD | 4.1945683e-05 |
| 12,984 | Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy | 1987 | VLDB | 4.1945683e-05 |
| 12,988 | An Extended Disjunctive Normal Form Approach For Optimizing Recursive Logic Queries In Loosely Coupled Environments | 1987 | VLDB | 4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 63 | A Message Passing Framework for Logical Query Evaluation | 1986 | SIGMOD | 0.00063714145 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,199 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.3662839e-05 |
| 365 | On the Power of Magic | 1987 | PODS | 0.00025585898 |
| 1,313 | Cost-Based Optimization for Magic: Algebra and Implementation | 1996 | SIGMOD | 0.0001263831 |
| 1,423 | Magic is Relevant | 1990 | SIGMOD | 0.00012054867 |
| 3,283 | Magic Conditions | 1990 | PODS | 7.280826e-05 |
| 7,075 | Magic-sets Transformation in Nonrecursive Systems | 1992 | PODS | 4.842703e-05 |
| 445 | The Magic of Duplicates and Aggregates | 1990 | VLDB | 0.0002294367 |
| 2,042 | Efficient Evaluation of Right-, Left-, and Multi-Linear Rules | 1989 | SIGMOD | 9.699257e-05 |
| 296 | On the Implementation of a Simple Class of Logic Queries for Databases | 1986 | PODS | 0.00028644922 |
| 5,628 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.4030815e-05 |