Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs

Summary: Generalizes Magic Functions to compile extended recursive Datalog as fixpoint functional equations, pushing selections through recursion and producing only query-relevant answers. Directly yields optimized relational algebra, enables symbolic redundancy elimination, and supports non-binary/cyclic rules, function symbols, and range queries. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: h596475af0dcdda19
Venue: VLDB
Year: 1987
Pagerank: 5.0499354e-05
Overall Rank: 10,198 | 31.65%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Georges Gardarin (INRIA; University of Paris)

BibTeX Citation

@article{gardarin_vldb87,
        title = {{Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs}},
        author = {Gardarin, Georges},
        journal = {PVLDB},
        series = {{VLDB} '87},
        pages = {21},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,368	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	5.0064651e-05
13,491	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	4.9605343e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00058816744
67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.0003786983
353	On the Power of Magic	1987	PODS	0.0002014941
443	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018161613
916	Horn Clauses and the Fixpoint Query Hierarchy	1982	PODS	0.00013066729
2,112	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD	9.0176858e-05
4,757	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB	6.4208636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,986	Efficient Evaluation of Right-, Left-, and Multi-Linear Rules	1989	SIGMOD
2	13,436	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
3	13,327	Magic Factoring of Closure Programs (Extended Abstract)	1995	PODS
4	1,443	Magic is Relevant	1990	SIGMOD
5	18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS
6	4,447	Magic Counting Methods	1987	SIGMOD
7	2,112	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD
8	7,246	Adding Magic to an Optimising Datalog Compiler	2008	SIGMOD
9	7,300	Magic-sets Transformation in Nonrecursive Systems	1992	PODS
10	7,112	On the Expected Size of Recursive Datalog Queries	1991	PODS