Translation and Optimization of Logic Queries: The Algebraic Approach

Summary: Translates function-free logic-program rules into algebraic equations, whose solutions capture operational and fixpoint semantics, including mutually recursive systems. Derives algebraic top-down/bottom-up optimizations selected by query binding availability. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 7961
Venue: VLDB
Year: 1986
Pagerank: 6.5930956e-05
Overall Rank: 4,634 | 68.21%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Stefano Ceri (Polytechnic University of Milan)
2. Giorgio Gottlob (Institute for Applied Mathematics, National Research Council)
3. Luca Lavazza (TXT-Techint Software e Telematica)

BibTeX Citation

@article{ceri_vldb86,
        title = {{Translation and Optimization of Logic Queries: The Algebraic Approach}},
        author = {Ceri, Stefano and Gottlob, Giorgio and Lavazza, Luca},
        journal = {PVLDB},
        series = {{VLDB} '86},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,729	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB	5.789691e-05
8,314	Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries	1987	VLDB	5.4554917e-05
9,981	Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs	1987	VLDB	5.1845938e-05
13,065	Implementation and performance evaluation of a parallel transitive closure algorithm on PRISMA/DB	1993	VLDB	5.093636e-05
13,179	A Necessary Condition For A Doubly Recursive Rule To Be Equivalent To A Linear Recursive Rule	1987	SIGMOD	5.093636e-05
13,182	Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy	1987	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 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
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

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,939	Binding Propagation in Disjunctive Databases	1998	VLDB
2	6,558	Queries are easier than you thought (probably)	1992	PODS
3	615	A Rule-Based View of Query Optimization	1987	SIGMOD
4	2,111	Querying Constraints	1990	PODS
5	3,730	Safety and Correct Translation of Relational Calculus Formulas	1987	PODS
6	11,135	Query Optimization by Quantifier Elimination	2024	PODS
7	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
8	4,263	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS
9	7,137	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD
10	8,314	Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries	1987	VLDB