Well-behaving rule systems for entity-relationship and object oriented models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1331, Issue , 1997, Pages 141-154

  Schewe, Klaus Dieter ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION FIELDS; DATABASE TRANSACTIONS; ENTITY-RELATIONSHIP; INTEGRITY CONSTRAINTS; INTEGRITY MAINTENANCE; OBJECT ORIENTED MODEL; STRUCTURAL CONSTRAINTS; TRIGGERING SYSTEMS;

GRAPH THEORY;

EID: 84948954324     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63699-4_12     Document Type: Conference Paper

References (15)

1. M. A. Casanova, R. Fagin, C. H. Papadimitriou. Inclusion dependencies and their interaction with functional dependencies. Journal of Computer and System Sciences 28 (1), 29-59, 1984.
2. S. Ceri, J. Widom: Deriving Production Rules for Constraint Maintenance, Proc. 16th Conf. on VLDB, Brisbane (Australia), August 1990, 566-577
3. S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM ToDS, vol. 19(3), 1994, 367-422.
4. S. Chakravarty, J. Widom (Eds.): Research Issues in Data Engineering--Active Databases, Proc., Houston, Februar 1994
5. A. K. Chandra, M. Y. Vardi. The implication problem for functional and inclusion dependencies is undecidable. SIAM Journal of Computing 14, 671-677, 1985.
6. S. S. Cosmadakis, P. Kanellakis, M. Y. Vardi. Polynomial-time implication problems for unary inclusion dependencies. Journal of the ACM 37, 15-46, 1990.
7. M. Gertz, U. W. Lipeck: Deriving Integrity Maintaining Triggers from transaction Graphs, in Proc. 9th ICDE, IEEE Computer Society Press, 1993, 22-29
8. H. Mannila, K. -J. Räihä: The Design of Relational Databases, Addison-Wesley 1992
9. J. Reinert. Ambiguity for referential integrity is undecidable. In G. Kuper, M. Wallace (Eds.). Constraint databases and applications, 132-147, Springer LNCS 1034, 1996.
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., Houston, Februax 1994
11. K. -D. Schewe and B. Thalheim. Fundamental concepts of object oriented databases. Acta Cybernetica, vol. 11(1/2), Szeged 1993, 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. Workskop on Foundations of Models and Languages for Data and Objects, Schlofl Dagstuhl, 1996, 87-102, available via http://wwwiti.cs.uni-magdeburg.de/-~conrad/lDB96/Proceedings.html
13. B. Thalheim: Foundations of entity-relationship modeling, Annals of Mathematics and Artificial Intelligence, vol. 7, 1993, 197-256
14. S. D. Urban, L. Delcambre: Constraint Analysis: a Design Process for Specifying Operations on Objects, IEEE Trans. on Knowledge and Data Engineering, vol. 2 (4), December 1990
15. J. Widom, S. J. Finkelstein: Set-oriented Production Rules in Retatwnal Database Systems, in Proc. SIGMOD 1990, 259-270