Skip to main content

Part of the book series: TEUBNER-TEXTE zur Informatik ((TTZI))

  • 70 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Reference

  1. 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

    Google Scholar 

  2. G. Saake: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken. Dissertation, TU Braunschweig 1988

    Google Scholar 

  3. U.W. Lipeck: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte 209, Springer-Verlag 1989

    Google Scholar 

  4. K. HÜlsmann, G. Saake: Theoretical Foundations of Temporal Inte- grity Constraints. Acta Informatica 1991, 27(4)

    Google Scholar 

  5. 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

    Google Scholar 

  6. 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)

    Google Scholar 

  7. U.W. Lipeck: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte 209, Springer-Verlag 1989

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Publish with us

Policies and ethics