Abstract
One of the objectives of ooDBMSs is to use type-specific methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for the method implementor as far as the model-inherent constraints are concerned. We propose a set of generic update operations that maintain integrity constraints such as types, class memberships, subtype-, subclass-relationships, and class predicates. The operations can be used for implementing type- specific update methods or directly by applications. We present an approach to consistently define update semantics for an object model including classes, views, and variables that is based on necessary and sufficient predicates akin to defined concepts in KL-ONE style languages.
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
M.P. Atkinson and O.P. Buneman. Types and persistence of database programming languages. ACM Computing Surveys, 19 (2): 105–190, June 1987.
S. Abiteboul and A. Bonner. Objects and views. In J. Clifford and R. King, editors, Proc. ACM SIGMOD Conf, on Management of Data, pages 238–247, Denver, Co, May 1991. ACM, New York.
S. Abiteboul. Updates, a new frontier. In M. Gyssens, J. Paredaens, and D. van Gucht, editors, ICDT ’88: 2nd Int. Conf. on Database Theory, pages 1–18, Bruges, Belgium, September 1988. LNCS 326, Springer Verlag, Heidelberg.
A. Albano, L. Cardelli, and R. Orsini. Galileo: A strongly-typed, interactive conceptual language. ACM Transactions on Database Systems, 10 (2): 230–260, June 1985.
C. Beeri. Formal models for object-oriented databases. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. 1st Int’l Conf. on Deductive and Object-Oriented Databases, pages 370–395, Kyoto, December 1989. North-Holland. Revised version appeared in “Data Knowledge Engineering”, Vol. 5, North-Holland.
R. J. Brachman and J. G. Schmölze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9: 171–216, 1985.
T. Barsalou, N. Siambela, A. M. Keller, and G. Wiederhold. Updating relational data-bases through object-based views. In Proc. ACM SIGMOD Conf. on Management of Data, pages 248–257, Denver, CO, May 1991. ACM, New York.
O. Deux et al. The story of O2. IEEE Trans, on Knowledge and Data Engineering, 2(1):91–108, March 1990. Special Issue on Prototype Systems.
U. Dayal. Queries and views in an object-oriented data model. In R. Hull, R. Morrison, and D. Stemple, editors, 2nd Int’l Workshop on Database Programming Languages, pages 80 - 102, Oregon Coast, June 1989. Morgan Kaufmann, San Mateo, Ca.
S. Dessloch, F.-J. Leick, and N. M. Mattos. A state-oriented approach to the specification of rules ans queries in kbms. Technical Report 4/90, ZRI, University of Kaiserslautern, July 1990.
G. Ghelli. A class abstraction for a hierarchical type system. In S. Abiteboul and P.C. Kanellakis, editors, ICDT ‘90 - Proc. Int’l. Conf. on Database Theory, pages 56–70, Paris, December 1990. LNCS 470, Springer Verlag, Heidelberg.
W. Kim. A model of queries for object-oriented databases. In Proc. Int. Conf. on Very Large Databases, pages 423–432, Amsterdam, August 1989.
M. V. Mannino, I. J. Choi, and D. S. Batory. The object-oriented functional data language. IEEE Transactions on Software Engineering, 16 (11): 1258–1272, November 1990.
B. Meyer. Object-Oriented Software Construction. International Series in Computer Science. Prentice Hall, Englewood Cliffs, 1988.
B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43: 235–249, 1990.
H.-M. Nguyen. Einordnung von Klassen und Views in eine Klassen-Hierarchie, master thesis, Department of Computer Science, ETH Zurich, July 1991.
B. Nebel and C. Peltason. Terminological reasoning and information management. In D. Karagiannis, editor, Information Systems and. Artificial Intelligence: Integration Aspects, Ulm, Germany, March 1990. LNCS 474, Springer Verlag, Heidelberg.
C. Peltason, A. Schmiedel, C. Kindermann, and J. Quantz. The BACK system revisited. Technical Report KIT-Report 75, Technical University of Berlin, Berlin, Germany, sep 1989.
M.H. Scholl, C. Laasch, C. Rich, H.-J. Schek, and M. Tresch. The COCOON object model. Technical report, ETH Zurich, Dept. of Computer Science, 1991. In preparation.
M.H. Scholl, C. Laasch, and M. Tresch. Updatable views in object-oriented databases. In Proc. 2nd Int’l Conf. on Deductive and Object-Oriented Databases, Munich, Germany, December 1991.
D.D. Straube and M.T. Ozsu. Queries and query processing in object-oriented databases. Technical Report TR 90-11, Dept. of Computing Science, University of Alberta, Edmonton, Alberta, Canada, April 1990. To appear in ACM TOIS.
M. Schmidt-Schauß. Subsumption in KL-ONE is undecidable. In Proc. First Int’l Conf. on Principles of Knowledge Representation and Reasoning, pages 421–431, Toronto, Ont., 1989.
M.H. Scholl and H.-J. Schek. A relational object model. In S. Abiteboul and P.C. Kanellakis, editors, ICDT J90 — Proc. Int’l Conf. on Database Theory, pages 89–105, Paris, December 1990. LNCS 470, Springer Verlag, Heidelberg.
M.H. Scholl and H.-J. Schek. A synthesis of complex objects and object-orientation. In Proc. IFIP TC2 Conf: on Object Oriented Databases (DS-4), Windermere, UK, July 1990. North-Holland. To appear.
K. Tanaka, M. Yoshikawa, and K. Ishihara. Schema virtualization in object-oriented databases. In Proc. IEEE Data Engineering, pages 23–30, Los Angeles, February 1988.
K. Wilkinson, P. Lyngbaek, and W. Hasan. The Iris architecture and implementation. IEEE Trans, on Knowledge and Data Engineering, 2(l):63–75, March 1990. Special Issue on Prototype Systems.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Laasch, C., Scholl, M.H. (1992). Generic Update Operations Keeping Object-Oriented Databases Consistent. In: Studer, R. (eds) Informationssysteme und Künstliche Intelligenz: Modellierung. Informatik-Fachberichte, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77312-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-77312-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55182-9
Online ISBN: 978-3-642-77312-9
eBook Packages: Springer Book Archive