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: 7975
Venue: VLDB
Year: 1987
Pagerank: 5.1845938e-05
Overall Rank: 9,981 | 31.53%
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
11,261	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	5.093636e-05
13,154	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	5.093636e-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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038782376
344	On the Power of Magic	1987	PODS	0.00020659405
429	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018607152
888	Horn Clauses and the Fixpoint Query Hierarchy	1982	PODS	0.00013402577
2,054	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD	9.2516006e-05
4,634	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB	6.5930956e-05

Semantically Similar Papers

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