The implementation and evaluation of integrity maintenance rules in an object-oriented database

The authors describe an approach to the declarative representation of integrity constraints in an object-oriented database and the use of integrity maintenance rules for the active maintenance of constraints. A semantic data model is used to automatically generate class definitions and state-altering database operations with constraints represented as objects in the database. Integrity maintenance production rules are automatically generated from constraints and stored as extensions to class operations, hiding the details of constraint checking and rule triggering. High-level transactions call state-altering operations and invoke the integrity maintenance process at commit time. Integrity constraints are declaratively represented in the database system, with operations encapsulating rules about how to respond to constraint violations. An analysis of problems associated with cyclic and anomalous rule behavior.<<ETX>>

[1]  Matthew Morgenstern.  Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement , 1984, VLDB.

[2]  Serge Abiteboul,et al.  Update Propagation in the IFO Database Model , 1985, FODO.

[3]  Meichun Hsu,et al.  An Execution Model for Active Data Base Management Systems , 1988, JCDKB.

[4]  Michael Stonebraker,et al.  The POSTGRES Rule Manager , 1988, IEEE Trans. Software Eng..

[5]  Klaus R. Dittrich,et al.  Supporting Semantic Rules by a Generalized Event/Trigger Mechanism , 1988, EDBT.

[6]  Joan Peckham,et al.  Constraint based analysis of database update propagation , 1989, ICIS '89.

[7]  Susan Darling Urban.  ALICE: an assertion language for integrity constraint expression , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[8]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

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

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

[11]  Louiqa Raschid.  Maintaining Consistency in a Stratified Production System Program , 1990, AAAI.

[12]  Michael Kifer,et al.  Next Generation Database Management Systems Technology , 1990 .

[13]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[14]  Sharma Chakravarthy,et al.  Making an Object-Oriented DBMS Active: Design, Implementation, and Evaluation of a Prototype , 1990, EDBT.

[15]  Michael Stonebraker,et al.  Third-generation database system manifesto , 1990, SGMD.

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

[17]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1991, CACM.

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

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