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)
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,871 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.6597986e-05 |
| 8,481 | Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries | 1987 | VLDB | 5.3330859e-05 |
| 10,159 | Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs | 1987 | VLDB | 5.0690887e-05 |
| 13,355 | Implementation and performance evaluation of a parallel transitive closure algorithm on PRISMA/DB | 1993 | VLDB | 4.9793485e-05 |
| 13,469 | A Necessary Condition For A Doubly Recursive Rule To Be Equivalent To A Linear Recursive Rule | 1987 | SIGMOD | 4.9793485e-05 |
| 13,472 | Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy | 1987 | VLDB | 4.9793485e-05 |
Previous
Page 1 / 1
Next
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.00059023577 |
| 440 | On the Implementation of a Simple Class of Logic Queries for Databases | 1986 | PODS | 0.00018227953 |
| 913 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS | 0.00013115161 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,229 | Binding Propagation in Disjunctive Databases | 1998 | VLDB |
| 2 | 6,684 | Queries are easier than you thought (probably) | 1992 | PODS |
| 3 | 630 | A Rule-Based View of Query Optimization | 1987 | SIGMOD |
| 4 | 3,817 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS |
| 5 | 2,152 | Querying Constraints | 1990 | PODS |
| 6 | 11,483 | Query Optimization by Quantifier Elimination | 2024 | PODS |
| 7 | 13,330 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB |
| 8 | 4,353 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS |
| 9 | 7,261 | Rule-Based Translation of Relational Queries into Iterative Programs | 1986 | SIGMOD |
| 10 | 8,481 | Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries | 1987 | VLDB |