Consistency preserving updates in deductive databases

摘要

We deal with view updating and integrity constraint maintenance. View updating is concerned with translating a request to update derived facts into updates of the underlying base facts. Integrity constraint maintenance is aimed to perform the necessary repairs to guarantee that a set of base fact updates does not violate database consistency. We define a method that deals with these problems in an integrated way and we show that it is sound and complete. Soundness ensures that our method obtains only correct solutions while completeness guarantees that we obtain all valid minimal solutions. We also propose set of techniques to provide an efficient implementation of our method.