Declarative Specification of Constraint Maintenance

Integrity repair is a pragmatic alternative to integrity checking, already proposed by relational and Codasyl standards and supported by several commercial systems, although for a small number of constraint types. This paper proposes to integrate constraint languages with the declarative specifications of their integrity repair actions. We introduce a rather powerful, predicate-based language for specifying integrity constraints, then we discuss the semantics of repair actions as computations which react to constraint violations, then we establish sufficient conditions for ensuring their termination, and finally we show how repair actions can be integrated in the SQL2 standard and implemented by means of relational triggers (written in Oracle).

[1]  Stephen J. Cannan,et al.  SQL - The Standard Handbook , 1992 .

[2]  Lois M. L. Delcambre,et al.  Constraint Analysis: A Design Process for Specifying Operations on Objects , 1990, IEEE Trans. Knowl. Data Eng..

[3]  Jennifer Widom,et al.  Using Delta Relations to Optimize Condition Evaluation in Active Databases , 1995, Rules in Database Systems.

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

[5]  Jennifer Widom,et al.  An Algebraic Approach to Rule Analysis in Expert Database Systems , 1994, VLDB.

[6]  Bernhard Thalheim,et al.  Integrity Enforcement in Object-Oriented Databases , 1992, FMLDO.

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

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

[9]  Susan Darling Urban,et al.  Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules , 1991, FMLDO.

[10]  Jennifer Widom,et al.  Better Termination Analysis for Active Databases , 1993, Rules in Database Systems.

[11]  Michael Gertz.  Specifying reactive integrity control for active databases , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[12]  Stefano Paraboschi,et al.  A Review of Repairing Techniques for Integrity Maintenance , 1993, Rules in Database Systems.

[13]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[14]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[15]  Opher Etzion,et al.  An alternative paradigm for active databases , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[16]  Ramez Elmasri,et al.  Data model integration using the structural model , 1979, SIGMOD '79.

[17]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[18]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.