(Enter summary)
Abstract: The critical problem of finding efficient implementations for recursive queries with bound arguments offers many open challenges of practical and theoretical import. In particular, we need methods that are effective for the general case, such as non-linear programs, as well as for specialized cases, such as left-recursive linear programs. In this paper, we propose a novel approach that solves this problem for chain queries, i.e., for queries where bindings are propagated from arguments in the... (Update)
Context of citations to this paper: More
...in the bottom up computation. Such techniques include the counting transformation [SZ88] the magic sets [BR91] the pushdown approach [GSZ99], and so on. A novel transformation that also belongs to this category, is the branching transformation [RG98,RG01] that was...
Cited by: More
A Transformation Technique for Datalog Programs.. - Potikas..
(Correct)
Similar documents (at the sentence level):
28.5%: The PushDown Method to Optimize Chain Logic Programs (Extended.. - Greco, al.
(Correct)
Active bibliography (related documents): More All
2.1: Efficient Execution of Recursive Queries Through Controlled.. - Greco, Zaniolo
(Correct)
0.8: Towards An Algebraic Theory Of Recursion - Ioannidis, Wong (1991)
(Correct)
0.5: Transitive Closure and the LOGA+-Strategy for its Efficient.. - Yan
(Correct)
Similar documents based on text: More All
0.9: Programming with Non-determinism in Deductive Databases - Giannotti, Greco.. (1997)
(Correct)
0.8: Greedy Algorithms in Datalog - Greco, Zaniolo (2001)
(Correct)
0.8: Greedy Algorithms in Datalog with Choice and Negation - Greco, Zaniolo (1998)
(Correct)
Related documents from co-citation: More All
2: On Transformations into linear database logic programs
- Afrati, Gergatsoulis et al. - 1996
2: Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
2: The Generalized Counting Method for Recursive Logic Queries
- Sacca, Zaniolo - 1986
BibTeX entry: (Update)
S. Greco, D. Sacca, and C. Zaniolo. Grammars and automata to optimize chain logic queries. International Journal on Foundations of Computer Science, 10(3):349-372, 1999. http://citeseer.ist.psu.edu/greco99grammars.html More
@article{ greco99grammars,
author = "Sergio Greco and Domenico Sacca and Carlo Zaniolo",
title = "Grammars and Automata to Optimize Chain Logic Queries",
journal = "International Journal of Foundations of Computer Science",
volume = "10",
number = "3",
pages = "349+",
year = "1999",
url = "citeseer.ist.psu.edu/greco99grammars.html" }
Citations (may not include all citations):
1911
Introduction to Automata Theory (context) - Hopcroft, Ullmann - 1979
1838
Foundations of Logic Programming (context) - Lloyd - 1987
1450
The Design and analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
204
Magic sets and other strange ways to implement logic program.. (context) - Bancilhon, Mayer et al. - 1986
135
Definite Clause Grammars for Language Analysis - A Survey on.. (context) - Pereira, Warren - 1980
46
Journal of Logic Programming (context) - Beeri, Ramakrisnhan et al. - 1991
31
Graph-Theoretic Methods in Database Theory (context) - Yannakakis - 1990
30
Performance evaluation of data intensive logic programs (context) - Bancilhon, Ramakrisnhan - 1988
21
Argument Reduction by Factoring (context) - Naughton, Ramakrisnhan et al. - 1989
20
The generalized counting method of recursive logic queries f..
- Sacca, Zaniolo - 1988
19
Expressiveness of Restricted Recursive Queries (context) - Afrati, Cosmadakis - 1989
15
Magic-counting methods (context) - Sacca, Zaniolo - 1987
15
Bounds on the Propagation of Selection into Logic Programs (context) - Beeri, Kanellakis et al. - 1990
12
The parallel complexity of simple chain queries (context) - Afrati, Papadrimitriou - 1987
10
Datalog Automata (context) - Lang - 1988
9
the implementation of a simple class of logic queries for da.. (context) - Sacca, Zaniolo - 1986
6
Logical Query Optimization by Proof-Tree Transformation (context) - Ramakrisnhan, Sagiv et al. - 1993
6
Linearizing nonlinear recursions in polynomial time (context) - Saraiya - 1989
5
Recursive Query processing: The Power of Logic (context) - Vielle - 1989
4
On Datalog Linearization of Chain Queries (context) - Dong - 1991
4
cient evaluation of right (context) - Naughton, Ramakrisnhan et al. - 1989
4
Datalog Expressiveness of Chain Queries: Grammar Tools and C.. (context) - Dong - 1992
4
Optimization of linear logic programs using counting methods (context) - Greco, Zaniolo - 1992
3
Principles of Data and Knowledge-Base Systems (context) - Ullmann - 1989
3
A counting algorithm for a cyclic binary query (context) - Haddad, Naughton - 1991
2
Commutativity and its Role in the Processing of Linear Recur.. (context) - Ioannidis - 1992
2
Linearization of Nonlinear Recursive Rules (context) - Zang, Yu et al. - 1989
2
The Theory of Parsing Translating and Compiling (context) - Aho, Ullmann - 1972
2
The Interface Between Language Theory and Database Theory (context) - Ullmann - 1991
2
Factoring Augmented Regular Chain Programs (context) - Wood - 1990
2
Implementation of chain queries (context) - Greco, Spadafora - 1996
2
ISO IEC JTCSC WG DBL MCi Technical Report (context) - Mumick, Recursive et al. - 1996
2
Transforming non linear recursion to linear recursion (context) - Ioannidis, Wong - 1988
2
Parallel Complexity of Logical Query Programs (context) - Ullmann, Van Gelder - 1986
2
Comparison of methods for logic query implementation (context) - Marchetti-Spaccamela, Pelaggi et al. - 1991
1
Selection of Processing Strate gies for Di#erent Recursive Q.. (context) - Han - 1988
1
The Pushdown Method to Optimize Chain Logic Queries (context) - Greco, Sacca et al. - 1995
Documents on the same site (http://www.cs.ucla.edu/~zaniolo/papers/ZanioloPapers.html): More
Metaqueries for Data Mining - Shen, Ong, Mitbander, Zaniolo (1996)
(Correct)
Greedy Algorithms in Datalog with Choice and Negation - Greco, Zaniolo (1998)
(Correct)
Negation and Aggregates in Recursive Rules: the LDL++ Approach - Zaniolo, Arni, Ong (1993)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC