Abstract
In contrast to the relational model methods in OODBs must enforce structurally defined constraints such as inclusion and referential constraints. It has been shown that this is possible for basic generic update operations that are determined by the schema. However, such operations only exist for value-representable classes.
In this paper we generalize this result and show that integrity enforcement is always possible. Given some arbitrary method S and some static or transition constraint I there exists a greatest consistent specialization (GCS) S I of S with respect to I. Such a GCS behaves nice in that it is compatible with the conjunction of constraints, inheritance and refinement.
Moreover, it is possible to derive simple representations of GCSs for basic update operations with respect to distinguished classes of explicitly stated static constraints. For the GCS construction of a user-defined operation, however, it is in general not sufficient to replace the involved primitive update operations by their GCSs.
This work has been supported in part by research grants from the E.E.C. Basic Research Action 3070 FIDE: “Formally Integrated Data Environments”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul: Towards a deductive object-oriented database language,Data & Knowledge Engineering, vol. 5, 1990, pp. 263 — 287
S. Abiteboul, P. Kanellakis: Object Identity as a Query Language Primitive,in Proc. SIGMOD, Portland Oregon, 1989, pp. 159 — 173
A. Albano, A. Dearle, G. Ghelli, C. Marlin, R. Morrison, R. Orsini, D. Stemple: A Framework for Comparing Type Systems for Database Programming Languages, in Type Systems and Database Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 1990
M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonik: The Object-Oriented Database System Manifesto, Proc. 1st DOOD, Kyoto 1989
S. Al Fedaghi, B. Thalheim: Fundamentals of databases - The key concept, submitted for publication, 1990
C. Beeri: Formal Models for Object-Oriented Databases,Proc. 1st DOOD 1989, pp. 370 — 395
C. Beeri: A formal approach to object-oriented databases,Data and Knowledge Engineering, vol. 5 (4), 1990, pp. 353 — 382
C. Beeri, Y. Kornatzky: Algebraic Optimization of Object-Oriented Query Languages, in S. Abiteboul, P. C. Kanellakis (Eds.): Proc. ICDT ‘80, Springer LNCS 470, pp. 72 — 88
E. W. Dijkstra, C. S. Scholten: Predicate Calculus and Program Semantics, Springer-Verlag, 1989
H: D. Ehrich, M. Gogolla, U. Lipeck: Algebraische Spezifikation abstrakter Datentypen, Teubner-Verlag, 1989
H.-D. Ehrich, A. Sernadas: Fundamental Object Concepts and Constructors, in G. Saake, A. Sernadas (Eds.): Information Systems — Correctness and Reusability, TU Braunschweig, Informatik Berichte 91–03, 1991
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification, vol.1, Springer 1985
P. Fraternali, S. Paraboschi, L. Tanca: Automatic Rule Generation for Constraint Enforcement in Active Databases, in U. Lipeck, B. Thalheim (Eds.): Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects “MODELLING DATABASE DYNAMICS”, Volkse (Germany), October 19–22, 1992, in this issue
A. Heuer: Objektorientierte Datenbanksysteme, Addison Wesley, 1992
S. Khoshafian, G. Copeland: Object Identity, Proc. 1st Int. Conf. on OOPSLA, Portland, Oregon, 1986
U. W. Lipeck: Dynamische Integrität von Datenbanken (in German), Springer IFB 209, 1987
G. Nelson: A Generalization of Dijkstra’s Calculus,ACM TOPLAS, vol. 11 (4), October 1989, pp. 517 — 561
G. Saake, R. Jungclaus: Specification of Database Applications in the TROLL Language, in D. Harper, M. Norrie (Eds.): Proc. Int. Workshop on the Specification of Database Systems, Glasgow, 1991
K.-D. Schewe, J. W. Schmidt, I. Wetzel, N. Bidoit, D. Castelli, C. Meghini: Abstract Machines Revisited, FIDE Technical Report 1991 /11, February 1991
K.-D. Schewe, I. Wetzel, J. W. Schmidt: Towards a Structured Specification Language for Database Applications,in D. Harper, M. Norrie (Eds.): Proc. Int. Workshop on the Specification of Database Systems, Springer WICS, 1991, pp. 255 — 274
K.-D. Schewe, B. Thalheim, I. Wetzel, J. W. Schmidt: Extensible Safe Object-Oriented Design of Database Applications, University of Rostock, Report CS -09–91, September 1991
K.-D. Schewe, J. W. Schmidt, I. Wetzel: Identification, Genericity and Consistency in Object-Oriented Databases, in J. Biskup, R. Hull (Eds.): Proc. ICDT ‘82, Springer LNCS 646, 1992, pp. 341 — 356
K.-D. Schewe: Class Semantics in Object Oriented Databases, submitted 1992
B. Thalheim: Dependencies in Relational Databases, Teubner Leipzig, 1991
J. Van den Bussche, Dirk Van Gucht: A Hierarchy of Faithful Set Creation in Pure OODBs, in J. Biskup, R. Hull (Eds.): Proc. ICDT ‘82, Springer LNCS 646, 1992, pp. 326 — 340
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schewe, KD., Thalheim, B., Schmidt, J.W., Wetzel, I. (1993). Integrity Enforcement in Object-Oriented Databases. In: Lipeck, U.W., Thalheim, B. (eds) Modelling Database Dynamics. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3554-8_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3554-8_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-19803-1
Online ISBN: 978-1-4471-3554-8
eBook Packages: Springer Book Archive