Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi  Home/Search
Context Related
| rice.edu/~vardi/papers/icdt03.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rice.edu/~vardi/papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: One of the most important reasoning tasks on queries is checking containment, i.e., verifying whether one query yields necessarily a subset of the result of another one. Query containment, is crucial in several contexts, such as query optimization, query reformulation, knowledge-base verification, information integration, integrity checking, and cooperative answering. Containment is undecidable in general for Datalog, the fundamental language for expressing recursive queries. On the other hand, ... (Update)
Cited by: More
Declarative Networking: Language, Execution and.. - Loo, Condie.. (2006) (Correct)
Declarative Routing: Extensible Routing with.. - Loo, Hellerstein.. (2005) (Correct)
Active bibliography (related documents): More All
0.8: View-Based Query Containment - Calvanese, De Giacomo, Lenzerini (2003) (Correct)
0.7: Survey on Methods for Query Rewriting and Query Answering.. - Calvanese, al. (2001) (Correct)
0.6: On the Equivalence of Recursive and Nonrecursive Datalog Programs - Chaudhuri (1992) (Correct)
Similar documents based on text: More All
2.0: Containment of Conjunctive Regular Path Queries with.. - Calvanese, De Giacomo, .. (2000) (Correct)
1.4: View-Based Query Answering and Query Containment.. - Calvanese, De.. (2001) (Correct)
1.1: Rewriting of Regular Expressions and Regular Path Queries - Calvanese, De Giacomo.. (1999) (Correct)
Related documents from co-citation: More All
2: Aggregation and relevance in deductive databases - Sudarshan, Ramakrishnan - 1991
2: A survey of research on deductive database systems - Ramakrishnan, Ullman - 1993
2: Computer Networks: A Systems Approach (context) - Peterson, Davie - 1996
BibTeX entry: (Update)
D. Calvanese, G. D. Giacomo, and M. Y. Vardi. Decidable Containment of Recursive Queries. In ICDT, 2003. http://citeseer.ist.psu.edu/calvanese03decidable.html More
@misc{ calvanese03decidable,
author = "D. Calvanese and G. Giacomo and M. Vardi",
title = "Decidable Containment of Recursive Queries",
text = "D. Calvanese, G. D. Giacomo, and M. Y. Vardi. Decidable Containment of
Recursive Queries. In ICDT, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/calvanese03decidable.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
585 Extensible Markup Language (context) - Bray, Paoli et al.
331 A query language and optimization technique for unstructured.. - Buneman, Davidson et al. - 1996
232 Optimal implementation of conjunctive queries in relational .. (context) - Chandra, Merlin - 1977
208 Data on the Web: from Relations to Semistructured Data and X.. (context) - Abiteboul, Buneman et al. - 2000
198 Database techniques for the World-Wide Web: A survey - Florescu, Levy et al. - 1998
180 Reasoning in description logics - Donini, Lenzerini et al. - 1996
179 Semistructured data - Buneman - 1997
168 Query caching and optimization in distributed mediator syste.. - Adali, Candan et al. - 1996
146 Optimizing queries with materialized views - Chaudhuri, Krishnamurthy et al. - 1995
120 Elementary Induction on Abstract Structures (context) - Moschovakis - 1974
114 Regular path queries with constraints - Abiteboul, Vianu - 1999
107 Index structures for path expressions - Milo, Suciu - 1999
103 Tree acceptors and some of their applications (context) - Doner - 1970
100 Equivalences among relational expressions with the union and.. (context) - Sagiv, Yannakakis - 1980
97 Description logic framework for information integration - Calvanese, De Giacomo et al. - 1998
96 On conjunctive queries containing inequalities (context) - Klug - 1988
64 Optimizing Datalog programs (context) - Sagiv - 1988
58 Subsumption between queries to object-oriented databases - Buchheit, Jeusfeld et al. - 1994
51 Equivalence of Datalog queries is undecidable (context) - Shmueli - 1993
49 Equivalence among relational expressions (context) - Aho, Sagiv et al. - 1979
48 the equivalence of recursive and nonrecursive datalog progra.. - Chaudhuri, Vardi - 1997
47 Navigational plans for data integration - Friedman, Levy et al. - 1999
37 Query containment for conjunctive queries with regular expre.. - Florescu, Levy et al. - 1998
36 Representing and reasoning on XML documents: A description l.. - Calvanese, De Giacomo et al. - 1999
36 the foundations of the universal relation model (context) - Maier, Ullman et al. - 1984
35 Decidable optimization problems for database logic programs (context) - Cosmadakis, Gaifman et al. - 1988
31 Semantic query optimization in Datalog programs (context) - Levy, Sagiv - 1995
31 Generalized nite automata theory with an application to a de.. (context) - Thatcher, Wright - 1968
26 Verifying integrity constraints on web-sites (context) - Fernandez, Florescu et al. - 1999
24 Data independent recursion in deductive databases (context) - Naughton - 1989
13 Panorama: A database system that annotates its answers to qu.. (context) - Motro - 1996
9 Containment of conjunctive regular path queries with inverse - Calvanese, De Giacomo et al. - 2000
8 Generalizing conjunctive query containment for view maintena.. (context) - Gupta, Ullman - 1992
6 the complexity of equivalence between recursive and nonrecur.. - Chaudhuri, Vardi - 1994
3 A Medvedev characterization of sets recognized by generalize.. (context) - Costich - 1972
3 Alternating tree automata (context) - Slutzki
2 Veri cation of knowledge bases: a unifying logical view (context) - Levy, Rousset - 1997
2 The Complexity of Querying Inde nite Information (context) - van der Meyden - 1992
1 of Logic and Computation (context) - Chandra, Harel et al. - 1985
1 the IEEE Computer Society Technical Committee on Data Engine.. (context) - Deutsch, Fernandez et al. - 1999
Documents on the same site (http://www.cs.rice.edu/~vardi/papers/index.html): More
An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
Nontraditional Applications of Automata Theory - Vardi (1994) (Correct)
Synthesis with Incomplete Information - Kupferman, Vardi (1997) (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