Implementing integrity control in active data bases

Abstract This article presents a system for maintaining static integrity constraints in data bases that uses the active data base paradigm. This system has been added to an active version of the O 2 object-oriented data base system, and it is fully functional. Constraints, specified by the user in a fist-order logic language, are transformed into production rules, which are stored in the data base. These rules are used to maintain the corresponding set of constraints for all applications that use the data base. We extend previous work on constraint maintenance in two ways: our system can be used as a constraint maintenance layer on top of object-oriented, relational, and nested relational data bases, and for object-oriented systems, we provide constraint support not only in the case of object composition, but also consider inheritance and methods.

[1]  Umeshwar Dayal,et al.  Rules Are Objects Too: A Knowledge Model For An Active, Object-Oriented Database System , 1988, OODBS.

[2]  Jianhua Zhu,et al.  Extending The Object-Oriented Paradigm To Support Relationships and Constraints , 1990, DS-4.

[3]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[4]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[5]  Eric N. Hanson,et al.  Rule condition testing and action execution in Ariel , 1992, SIGMOD '92.

[6]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.

[7]  Alejandro P. Buchmann,et al.  REACH: a REal-time, ACtive and Heterogeneous mediator system , 1992, IEEE Data Eng. Bull..

[8]  Jennifer Widom,et al.  An overview of production rules in database systems , 1993, The Knowledge Engineering Review.

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

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

[11]  Tore Risch,et al.  Monitoring Database Objects , 1989, VLDB.

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

[13]  Umeshwar Dayal,et al.  A uniform model for temporal object-oriented databases , 1992, [1992] Eighth International Conference on Data Engineering.

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

[15]  Lois M. L. Delcambre,et al.  Constraint analysis for specifying perspectives of class objects , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[16]  Hamid Pirahesh,et al.  Alert: An Architecture for Transforming a Passive DBMS into an Active DBMS , 1991, VLDB.

[17]  Claudia Bauzer Medeiros,et al.  Object Integrity Using Rules , 1991, ECOOP.

[18]  Arie Segev,et al.  Data Management for Large Rule Systems , 1991, VLDB.

[19]  Umeshwar Dayal,et al.  A Transactional Model for Long-Running Activities , 1991, VLDB.

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

[21]  O. Deux,et al.  The Story of O2 , 1990, IEEE Trans. Knowl. Data Eng..

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

[23]  Claudia Bauzer Medeiros,et al.  Manutenção de restrições de integridade em bancos de dados orientados a objetos , 1992 .

[24]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[25]  Sharma Chakravarthy,et al.  Situation Monitoring for Active Databases , 1989, VLDB.

[26]  Norman W. Paton,et al.  Rule Management in Object Oriented Databases: A Uniform Approach , 1991, VLDB.

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

[28]  Jennifer Widom,et al.  Managing Semantic Heterogeneity with Production Rules and Persistent Queues , 1993, VLDB.

[29]  Susan Darling Urban,et al.  Translating Constraints to Rules in Context: A Constraint Explanation Tool , 1990, DS-4.

[30]  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.

[31]  Jennifer Widom,et al.  Deriving Production Rules for Incremental View Maintenance , 1991, VLDB.