(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