Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance

An important problem that arises when updating a deductive database is that of integrity constraint maintenance. That is, given a consistent database and an update request, to obtain all possible updates of base facts such that the request is satisfied and no integrity constraint is violated. This problem becomes more complex when view updates are also taken into account. In this paper we define a method for view updating and integrity constraint maintenance in deductive databases. We propose a new method that is sound and that improves current methods by dealing with three kinds of updates: insertion, deletion and modification updates on base and derived predicates. Moreover, due to the inclusion of an specific modification operator, the own definition of the method deals with key information of base and derived predicates.

[1]  Hendrik Decker,et al.  Comparing and synthesizing integrity checking methods for deductive databases , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[2]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

[3]  Hendrik Decker,et al.  One Abductive Logic Programming Procedure for Two Kinds of Updates , 1997 .

[4]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[5]  Ernest Teniente,et al.  Incorporating Modification Requests in Updating Consistent Knowledge Bases , 1993, DAISD.

[6]  B. Wuthrich.  On updates and inconsistency repairing in knowledge bases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[7]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[8]  Sofian Maabout,et al.  A Model Theoretic Approach to Update Rule Programs , 1997, ICDT.

[9]  Jorge Lobo,et al.  Minimal and Consistent Evolution of Knowledge Bases , 1997, J. Appl. Non Class. Logics.

[10]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[11]  Ernest Teniente,et al.  A common framework for classifying and specifying deductive database updating problems , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[12]  Antoni Olivé Ramon,et al.  Updating knowledge bases while maintaining their consistency , 1994 .

[13]  Peter C. Lockemann,et al.  Reactive consistency control in deductive databases , 1991, TODS.

[14]  Antoni Olivé,et al.  A Method for Change Computation in Deductive Databases , 1992, VLDB.

[15]  Hendrik Decker,et al.  Drawing Updates From Derivations , 1990, ICDT.

[16]  Michel Bidoit,et al.  TAPSOFT '97: Theory and Practice of Software Development , 1997, Lecture Notes in Computer Science.

[17]  Antoni Olivé.  Integrity Constraints Checking In Deductive Databases , 1991, VLDB.

[18]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[19]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[20]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[21]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.