A derivation path recording method for integrity checking in deductive databases

Abstract

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.