See this document in CiteSeerX!

Deciding Containment for Queries with Complex Objects (Extended Abstract) (1997)  (Make Corrections)  (30 citations)
Alon Y. Levy, Dan Suciu



  Home/Search   Context   Related

 
View or download:
att.com/~suciu/strudel..._F127488195.ps
att.com/~levy/pods97ls.ps
washington.edu/homes/s..._F127455397.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  att.com/~suciu/...ernal.genoid_10 (more)
From:  att.com/~levy/paperabstracts
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ) Alon Y. Levy levy@research.att.com AT&T Labs Dan Suciu suciu@research.att.com AT&T Labs Abstract We address the problem of query containment and query equivalence for complex objects. We show that for a certain conjunctive query language for complex objects, query containment and weak query equivalence are decidable. Our results also have two important consequences. First, when the answers of the two queries are guaranteed not to contain empty sets, then weak equivalence coincides with... (Update)

Cited by:   More
The NEXT Framework for Logical XQuery Optimization - Alin Deutsch Yannis (2004)   (Correct)
Containment of Nested XML Queries - Dong, Halevy, Tatarinov (2004)   (Correct)
Efficient Query Reformulation in Peer Data Management Systems - Tatarinov, Halevy (2004)   (Correct)

Similar documents (at the sentence level):
74.6%:   Deciding Containment for Queries with Complex Objects and.. - Levy, Suciu (1997)   (Correct)

Active bibliography (related documents):   More   All
0.6:   Bounded Fixpoints for Complex Objects - Suciu (1997)   (Correct)
0.3:   Restructuring Partitioned Normal Form Relations Without.. - Vincent, Levene (1997)   (Correct)
0.3:   A Uniform Data Model for Relational Data and Meta-Data.. - Jain, Mendhekar, Van.. (1995)   (Correct)

Similar documents based on text:   More   All
1.0:   Query Containment for Conjunctive Queries with Safe Negation - Wei, Lausen   (Correct)
0.8:   Conjunctive Query Containment In The Presence of Disjunctive.. - Wei, Lausen (2002)   (Correct)
0.7:   Containment of Conjunctive Queries with Safe Negation - Wei, Lausen (2003)   (Correct)

Related documents from co-citation:   More   All
26:   Optimal implementation of conjunctive queries in relational databases (context) - Chandra, Merlin - 1977
20:   Equivalences among relational expressions with the union and difference operator.. (context) - Sagiv, Yannakakis - 1980
16:   the equivalence of recursive and nonrecursive datalog programs - Chaudhuri, Vardi - 1992

BibTeX entry:   (Update)

Alon Levy and Dan Suciu. Deciding containment for queries with complex objects. In Proc. of the 16th ACM SIGMOD Symposium on Principles of Database Systems, Tucson, Arizona, May 1997. http://citeseer.ist.psu.edu/article/levy97deciding.html   More

@inproceedings{ levy97deciding,
    author = "Alon Y. Levy and Dan Suciu",
    title = "Deciding containment for queries with complex objects (extended abstract)",
    pages = "20--31",
    year = "1997",
    url = "citeseer.ist.psu.edu/article/levy97deciding.html" }
Citations (may not include all citations):
981   Principles of Database and Knowledge-base Systems (context) - Ullman - 1989
619   The Object Database Standard: ODMG (context) - Cattell - 1994
331   A query language and optimization techniques for unstructure.. - Buneman, Davidson et al. - 1996
296   Answering queries using views - Levy, Mendelzon et al. - 1995
232   Optimal implementation of conjunctive queries in relational .. (context) - Chandra, Merlin - 1977
156   Adding structure to unstructured data - Buneman, Davidson et al. - 1997
146   Optimizing queries with materialized views - Chaudhuri, Krishnamurthy et al. - 1995
129   the power of languages for the manipulation of complex objec.. - Abiteboul, Beeri - 1995
100   Equivalence among relational expressions with the union and .. (context) - Sagiv, Yannakakis - 1981
100   Queries independent of updates (context) - Levy, Sagiv - 1993
96   On conjunctive queries containing inequalities (context) - Klug - 1988
90   and Victor Vianu (context) - Abiteboul, Hull - 1995
78   Nested relational structures (context) - Thomas, Fischer - 1986
68   Including group-by in query optimization - Chaudhuri, Shim - 1994
64   Optimizing datalog programs (context) - Sagiv - 1988
60   Normal forms and conservative properties for query languages.. - Wong - 1993
59   Of nests and trees: A unified approach to processing queries.. (context) - Dayal - 1987
59   Using powerdomains to generalize relational databases - Buneman, Ohori et al. - 1991
54   Query optimization by predicate move-around - Levy, Mumick et al. - 1994
51   Equivalence of datalog queries is undecidable (context) - Shmueli - 1993
50   Extending relational algebra and relational calculus with se.. (context) - Ozsoyoglu, Ozsoyoglu et al. - 1987
48   the equivalence of recursive and nonrecursive datalog progra.. - Chaudhuri, Vardi - 1992
41   Foundations of aggregation constraints - Ross, Srivastava et al. - 1994
40   The Decision Problem: Solvable Classes of Quantificational F.. (context) - Dreben, Goldfarb - 1979
39   Converting nested relational algebra expressions into flat a.. (context) - Paredaens, Van Gucht - 1992
35   Equivalence of relational expressions (context) - Aho, Sagiv et al. - 1979
33   Semantic representations and query languages for orsets - Libkin, Wong - 1993
33   The complexity of querying indefinite data about linearly or.. - van der Meyden - 1992
29   Containment and minimization of positive conjunctive queries.. (context) - Chan - 1992
20   On efficient reasoning with implication constraints - Zhang, Ozsoyoglu - 1993
20   Reasoning with aggregation constraints - Levy, Mumick - 1996
15   CARIN: a representation language integrating rules and descr.. (context) - Levy, Rousset - 1996
12   Optimizing real conjunctive queries (context) - Chaudhuri, Vardi - 1993
11   Finite Model Theory (context) - Ebbinghaus, Flum - 1995
10   Multilevel nested relational structures (context) - Van Gucht, Fischer - 1988
9   Principles of proramming with collection types (context) - Buneman, Naqvi et al. - 1995
7   Complex object manipulation through identifiers: An algebrai.. (context) - Van den Bussche - 1992
5   On polynomially bounded fixpoint constructs for nested relat.. (context) - Gyssens, Suciu et al. - 1995
4   a hierarchy of classes for nested databases (context) - Gyssens, Paredaens et al. - 1990
3   Query Languages and a Unifying Framework for Non-traditional.. (context) - Colby - 1993
2   Constraint checking with parial information (context) - Gupta, Sagiv et al. - 1994
2   Gunter and Dana S (context) - Carl - 1990
1   The Verso algebra or How to ansower queries with fewer joins (context) - Bidoit - 1987



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.research.att.com/~suciu/strudel/external/NodeExternal%2Cinternal.genoid_10.html):   More
Equivalence and Normal Forms for the Restricted and.. - Gyssens, Suciu, Van..   (Correct)
A Query Language and Optimization Techniques for.. - Buneman, Davidson.. (1996)   (Correct)
Efficient Compilation of High-Level Data Parallel Algorithms - Suciu, Tannen (1994)   (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