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: hbe77b12bc94fa9c3
Venue: VLDB
Year: 1986
Pagerank: 6.4421654e-05
Overall Rank: 4,736 | 68.17%
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,875	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB	5.6571194e-05
8,488	Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries	1987	VLDB	5.3305613e-05
10,163	Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs	1987	VLDB	5.066689e-05
13,361	Implementation and performance evaluation of a parallel transitive closure algorithm on PRISMA/DB	1993	VLDB	4.9769913e-05
13,475	A Necessary Condition For A Doubly Recursive Rule To Be Equivalent To A Linear Recursive Rule	1987	SIGMOD	4.9769913e-05
13,478	Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy	1987	VLDB	4.9769913e-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
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00058997063
440	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018219394
914	Horn Clauses and the Fixpoint Query Hierarchy	1982	PODS	0.00013109036

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,235	Binding Propagation in Disjunctive Databases	1998	VLDB
2	6,689	Queries are easier than you thought (probably)	1992	PODS
3	631	A Rule-Based View of Query Optimization	1987	SIGMOD
4	3,818	Safety and Correct Translation of Relational Calculus Formulas	1987	PODS
5	2,154	Querying Constraints	1990	PODS
6	11,489	Query Optimization by Quantifier Elimination	2024	PODS
7	13,336	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
8	4,354	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS
9	7,264	Rule-Based Translation of Relational Queries into Iterative Programs	1986	SIGMOD
10	8,488	Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries	1987	VLDB