Verification of knowledge bases based on containment checking
- 1 May 1998
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 101 (1-2) , 227-250
- https://doi.org/10.1016/s0004-3702(98)00021-6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- The GMAP: a versatile tool for physical data independenceThe VLDB Journal, 1996
- Decidable Reasoning in Terminological Knowledge Representation SystemsJournal of Artificial Intelligence Research, 1993
- Equivalence of Datalog queries is undecidableThe Journal of Logic Programming, 1993
- On conjunctive queries containing inequalitiesJournal of the ACM, 1988
- An assumption-based TMSArtificial Intelligence, 1986
- A Proof Procedure for Data DependenciesJournal of the ACM, 1984
- The implication and finite implication problems for typed template dependenciesJournal of Computer and System Sciences, 1984
- Horn clauses and database dependenciesJournal of the ACM, 1982
- Equivalences Among Relational Expressions with the Union and Difference OperatorsJournal of the ACM, 1980
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979