Zusammenfassung
Im Vordergrund dieses Buches stand ein durchgängiger, logik-orientierter Formalismus zur vollständigen semantischen Definition eines Datenmodells bestehend aus einem erweiterten Entity-Relationship-Modell, einem Kalkül und einer darauf aufbauenden Anfragesprache.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Reference
G. Engels, U. Hohenstein, K. Hulsmann, P. LÖHr-Richter, H.-D. Ehrich: CADDY: Computer-Aided Design of Non-Standard Databases. In N. Madhavji, H. Weber, W. Schäfer (eds.): Int. Conf. on System Development Environments and Factories, Berlin 1989
G. Saake: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken. Dissertation, TU Braunschweig 1988
U.W. Lipeck: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte 209, Springer-Verlag 1989
K. HÜlsmann, G. Saake: Theoretical Foundations of Temporal Inte- grity Constraints. Acta Informatica 1991, 27(4)
G. Engels: Elementary Actions on an Extended Entity-Relationship Database. In Proc. Workshop on Graph Grammars and their Applications to Computer Science, Bremen 1990, Springer Berlin, LNCS 532 Springer-Verlag 1990
U.W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. In C. Zaniolo (ed.): Proc. International ACM SIGMOD-RECORD Conference on Management of Data 1986, Washington D.C. (387 – 397)
U.W. Lipeck: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte 209, Springer-Verlag 1989
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Hohenstein, U. (1993). Abschließende Bemerkungen. In: Formale Semantik eines erweiterten Entity-Relationship-Modells. TEUBNER-TEXTE zur Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-12118-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-663-12118-3_9
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-8154-2052-2
Online ISBN: 978-3-663-12118-3
eBook Packages: Springer Book Archive