See this document in CiteSeerX!

Grammars And Automata To Optimize Chain Logic Queries (1999)  (Make Corrections)  (2 citations)
Sergio Greco, Domenico Sacca
International Journal of Foundations of Computer Science



  Home/Search   Context   Related

 
View or download:
ucla.edu/~zaniolo/papers/IJFCS.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ucla.edu/~zaniolo...ZanioloPapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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