A derivation path recording method for integrity checking in deductive databases
Document typeConference report
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
A method is presented for checking integrity constraints in a deductive database in which verification of integrity is reduced to determine if the transaction has induced the insertion of sorne inconsistency atom. In determining such insertions, the method takes advantage of the assumption that the database satisfies the integrity constraints before updating it. If an insertion of an inconsistency atom is detected, the integrity of the database is violated. Correctness and completeness of the method has been proved for integrity checking in stratified deductive databases for which the completeness of the SLDNF can be ensured. A proposal for an implementation of the method is given.
CitationCelma, M. [et al.]. A derivation path recording method for integrity checking in deductive databases. A: "Proceedings of the 2nd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991, p. 185-203.