Consistency Enforcement in Entity-Relationship and Object-Oriented Models

Integrity Maintenance is considered one of the major application fields of rule triggering systems (RTSs). Whenever a given integrity constraint is violated by a database transaction, these systems trigger repairing actions. It is shown that for any set of constraints there exist non-repairable transactions, which depend on the closure of the constraint set. Even if non-repairable transactions are excluded, this does not restrain the RTS from producing undesired behaviour. Analyzing this undesired behaviour of RTSs leads to the definition of critical paths in associated rule hypergraphs. Then it is required that such paths are absent. It is shown that this requirement can be satisfied if the underlying set of constraints is stratified. This is always the case for the structural constraints in Entity-Relationship and simple object-oriented models. Moreover, in both cases there is no ambiguity for the selection of rules.

[1]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[2]  Bernhard Thalheim,et al.  Foundations of entity-relationship modeling , 1993, Annals of Mathematics and Artificial Intelligence.

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

[4]  Ronald Fagin,et al.  Inclusion Dependencies and Their Interaction with Functional Dependencies , 1984, J. Comput. Syst. Sci..

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

[6]  Bernhard Thalheim,et al.  Fundamental Concepts of Object Oriented Databases , 1993, Acta Cybern..

[7]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

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

[9]  Heikki Mannila,et al.  Design of Relational Databases , 1992 .

[10]  David W. Embley,et al.  Conceptual Modeling — ER '97 , 1997, Lecture Notes in Computer Science.

[11]  Moshe Y. Vardi,et al.  Polynomial-time implication problems for unary inclusion dependencies , 1990, JACM.

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

[13]  Michael Gertz,et al.  Deriving integrity maintaining triggers from transition graphs , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[14]  Bernhard Thalheim,et al.  Active Consistency Enforcement for Repairable Database Transitions , 1996, FMLDO.

[15]  Klaus-Dieter Schewe.  Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models , 1997, ER.

[16]  Bernhard Thalheim,et al.  Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications , 1998, Acta Cybern..