A. Y. Levy and M.-C. Rousset. Veri cation of knowledge bases: a unifying logical view. In Proc. of the 4th European Symposium on the Validation and Veri cation of Knowledge Based Systems, Leuven, Belgium, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
View-Based Query Containment - Calvanese, De Giacomo, Lenzerini (2003) (1 citation) (Correct)
....for all databases the answer to a query is a subset of the answer to a second query. Checking containment of queries is crucial in several contexts, such as query optimization, query reformulation, knowledge base veri cation, information integration, integrity checking, and cooperative answering [22, 28, 16, 5, 9, 33, 27, 11, 18, 20, 32]. Obviously, query containment is also useful for checking equivalence of queries, i.e. verifying Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial ....
A. Y. Levy and M.-C. Rousset. Veri cation of knowledge bases: a unifying logical view. In Proc. of the 4th European Symposium on the Validation and Veri cation of Knowledge Based Systems, Leuven, Belgium, 1997.
Decidable Containment of Recursive Queries - Calvanese, De Giacomo, Vardi (2003) (2 citations) (Correct)
No context found.
Levy, A.Y., Rousset, M.C.: Veri cation of knowledge bases: a unifying logical view. In: Proc. of the 4th European Symposium on the Validation and Veri cation of Knowledge Based Systems, Leuven, Belgium (1997)
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