Consistency enforcement in Entity-Relationship and object-oriented models

Data and Knowledge Engineering

Volumn 28, Issue 1, 1998, Pages 121-140

  Schewe, Klaus Dieter ^a,b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Active databases; Analysis of rule systems; Consistency enforcement; Entity Relationship; Integrity constraints; Object orientation

Indexed keywords

CONSTRAINT THEORY; DATA STRUCTURES; KNOWLEDGE BASED SYSTEMS; OBJECT ORIENTED PROGRAMMING;

ACTIVE DATABASES (ADB); ENTITY-RELATIONSHIP; INTEGRITY CONSTRAINTS; RULE TRIGGERING SYSTEMS (RTS);

DATABASE SYSTEMS;

EID: 0032186861     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(98)00016-0     Document Type: Article

References (18)

1. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, 1995.
2. M.A. Casanova, R. Fagin, C.H. Papadimitriou, Inclusion dependencies and their interaction with functional dependencies. Journal of Computer and System Sciences, 28(1) (1984) 29-59.
3. S. Ceri, J. Widom, Deriving production rules for constraint maintenance, Proc. 16th Conf. on VLDB, Brisbane, Australia, August 1990, pp. 566-577.
4. S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca, Automatic generation of production rules for integrity maintenance, ACM ToDS 19(3) (1994) 367-422.
5. S. Chakravarty, J. Widom (Eds.), Research Issues in Data Engineering - Active Databases, Proc., IEEE Computer Soc. Press, Houston, February 1994.
6. A.K. Chandra, M.Y. Vardi, The implication problem for functional and inclusion dependencies is undecidable, SIAM Journal of Computing 14 (1985) 671-677.
7. S.S. Cosmadakis, P. Kanellakis, M.Y. Vardi, Polynomial-time implication problems for unary inclusion dependencies. Journal of the ACM 37 (1990) 15-46.
8. M. Gertz, U.W. Lipeck, Deriving integrity maintaining triggers from transaction graphs. In: Proc. 9th ICDE, IEEE Computer Society Press, 1993, pp. 22-29.
9. H. Mannila, K.-J. Räihä, The Design of Relational Databases, Addison-Wesley 1992.
10. K.-D. Schewe, B. Thalheim, Consistency enforcement in active databases. In: S. Chakravarty, J. Widom (Eds.), Research Issues in Data Engineering - Active Databases, Proc., IEEE Computer Soc. Press, Houston, February 1994.
11. K.-D. Schewe, B. Thalheim, Fundamental concepts of object-oriented databases, Acta Cybernetica 11(1/2), Szeged (1993) pp. 49-84.
12. K.-D. Schewe, B. Thalheim, Active consistency enforcement for repairable database transitions. In: S. Conrad, H.-J. Klein, K.-D. Schewe (Eds.), Integrity in databases, Proc. 6th Int. Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, 1996, pp. 87-102; available via: http://wwwiti.cs.uni-magdeburg.de/∼ conrad/IDB96/Proceedings.html.
13. K.-D. Schewe, Well-behaving rule systems for entity-relationship and object oriented models. In: D.W. Embley, R.C. Goldstein (Eds.), Conceptual Modeling - ER '97, Springer LNCS, Vol. 1331 (1997) pp. 141-154.
14. K.-D. Schewe, B. Thalheim, On the strength of rule triggering systems for integrity maintenance. In: C. McDonald (Ed.), Database Systems, Proc. 9th Australasian Database Conf. Perth 1998; published as: Australian Computer Science Communications 20(2) (1998) 77-88.
15. K.-D. Schewe, B. Thalheim, On the strength of rule triggering systems for integrity maintenance. In: C. McDonald (Ed.), Database Systems, Proc. 9th Australasian Database Conf. Perth 1998; published as: Australian Computer Science Communications 20(2) (1998) 77-88.
16. B. Thalheim, Foundations of entity-relationship modeling, Annals of Mathematics and Artificial Intelligence 7 (1993) 197-256.
17. S.D. Urban, L. Delcambre, Constraint analysis: A design process for specifying operations on objects, IEEE Trans. on Knowledge and Data Engineering 2(4) (December 1990).
18. J. Widom, J. Finkelstein, Set-oriented production rules in relational database systems. In: Proc. SIGMOD, 1990, pp. 259-270.