A Review of Repairing Techniques for Integrity Maintenance

In this paper we review the research on integrity enforcement in database systems. Integrity enforcement is the task of ensuring that a user transaction applied to a legal database state leads to a new state which is also legal. The common rationale of the research in this area is to centralize the management of data integrity, by extracting this task from application programs and by bringing it into an ad-hoc component, which may be incorporated into the DBMS.

[1]  Jennifer Widom,et al.  A denotational semantics for the Starburst production rule language , 1992, SGMD.

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

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

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

[5]  Meichun Hsu,et al.  A Theory for Rule Triggering Systems , 1990, EDBT.

[6]  Sharma Chakravarthy.  Rule management and evaluation: an active DBMS perspective , 1989, SGMD.

[7]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

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

[9]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

[10]  James A. Larson,et al.  Updating relational views using knowledge at view definition and view update time , 1991, Inf. Syst..

[11]  Michael Stonebraker,et al.  On rules, procedures, caching and views in database systems , 1994, SIGMOD 1994.

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

[13]  David W. Stemple,et al.  On the modes and meaning of feedback to transaction designers , 1987, SIGMOD '87.

[14]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[15]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[16]  Bernhard Thalheim,et al.  Dependencies in relational databases , 1991, Teubner-Texte zur Mathematik.

[17]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[18]  C. V. Ramamoorthy,et al.  Knowledge and Data Engineering , 1989, IEEE Trans. Knowl. Data Eng..

[19]  David W. Stemple,et al.  Automatic verification of database transaction safety , 1989, ACM Trans. Database Syst..

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

[21]  Joan Antoni Pastor,et al.  Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases , 1992, DAISD.

[22]  Susan Darling Urban,et al.  CONTEXT: A CONstrainT EXplanation Tool , 1992, Data Knowl. Eng..

[23]  Georg Gottlob,et al.  Properties and update semantics of consistent views , 1988, TODS.

[24]  Jan Chomicki,et al.  History-less checking of dynamic integrity constraints , 1992, [1992] Eighth International Conference on Data Engineering.

[25]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.

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

[27]  Arthur M. Keller,et al.  Choosing a View Update Translator by Dialog at View Definition Time , 1986, VLDB.

[28]  S.D. Urban,et al.  The implementation and evaluation of integrity maintenance rules in an object-oriented database , 1992, [1992] Eighth International Conference on Data Engineering.

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