Zusammenfassung
Der Einsatz objekt-orientierter Techniken ermöglicht es heute, das Verhalten einzelner Objekte durch Programmiersprachenkonstrukte zu beschreiben. In der Programmiersprache Eiffel [Mey92] lassen sich Vor- und Nachbedingungen für die Ausführung von Methoden formulieren, so daß die Konsistenz der Einzelobjekte sichergestellt werden kann. In Datenbanksystemen muß aufgrund der langen Lebensdauer der Anwendungen vermieden werden, Prüfungen auf Integritätsverletzungen in Methoden zu „verstecken“.
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.
Literatur
A. Albano, G. Ghelli, R. Orsini: A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language. In G. M. Lohmann, A. Sernadas, R. Camps (eds.), Proceedings of the 17th Int. Conf. on Very Large Data Bases - 1991, 565–575, Morgan Kaufmann Publishers, 1991.
T. Andrews, C. Harris: Combining Language and Database Advances in an Object-Oriented Development Environment. In S. Zdonik, D. Maier (eds.), Readings in Object-Oriented Databases, 186–196. Morgan-Kaufmann Publishers, 1990.
R. P. Gabriel, J. L. White, D. G. Bobrow: CLOS: Integrating Object-Oriented and Functional Programming. Communications of the ACM 34:9 (September 1991),28–38.
M. F. Kilian: A Note on Type Composition and Reusability. OOPS Messenger 2:3 (April 1991),24–32.
G. Koschorreck, U. W. Lipeck: Integritätssicherung durch lokale Methoden. Interner Bericht, Institut für Informatik, Universität Hannover (eingereicht ), 1992.
W. Kim, Y.-J. Lee, J. Seo: An Overview of Integrity Management in Object-Oriented Databases. Data Engineering 14:2 (June 1991),38–42.
A. Kotz: Triggermechanismen in Datenbanksystemen. Informatik-Fachberichte 201. Springer, 1989.
U. W. Lipeck: Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte 209. Springer, Berlin, 1989.
U. W. Lipeck: Integritätszentrierter Datenbank-Entwurf. EMISA Forum 2 (1992),41–55.
B. Meyer: Eiffel — The Language. Prentice Hall, Hempel Hempstead, 1992.
X. Qian, G. Wiederhold: Knowledge-based Integrity Constraint Validation. In Proceedings of the 12th Int. Conf. on Very Large Data Bases — Kyoto, 1986, 3–12, August 1986.
D. Sannella. Formal Programm Development in Extended ML for the Working Programmer, 1990. appeared: Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park, 1990. Springer Workshops in Computing, 99–130 (1991).
B. Thalheim: Extending the Entity-Relationship Model for a High-Level, Theory-Based Database Design. In J. W. Schmidt, A. A. E. Stogny (eds.), Next Generation Information System Technology, 161–184, Springer, 1990.
W. M. Turski: Prescribing Behaviours. Theoretical Computer Science 90:1 (November 1991),119–125.
W. M. Turski: Extending the Computing Paradigm. Structured Programming 13:1 (1992),1–9.
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
Koschorreck, G. (1993). Integritätssicherung durch zusammengesetzte Objekte. In: Stucky, W., Oberweis, A. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86096-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-86096-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56487-4
Online ISBN: 978-3-642-86096-6
eBook Packages: Springer Book Archive