Abstract
A formal semantics for Entity-Relationship models based on a pragmatic combination of algebraic specification techniques and graph grammars is presented. The advantages of both calculi are integrated to describe the static and the dynamic semantics of such models. Our formalization is intended to support (not to replace) the graphical representation of ER models by providing a formal basis to argue about design decisions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C. Batini, S. Ceri, and S. Navathe. Conceptual Database Design—An Entity-Relationship Approach. Benjamin/Cummings, 1992.
P. P. Chen. The entity-relationship model—toward a unified view of data. ACM Transactions on Database Systems, 1 (1): 9–36, 1976.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.
M. Gogolla and U. Hohenstein. Towards a semantic view of an extended entity-relationship model. ACM Transactions on Database Systems, 16 (3): 369–416, 1991.
R. Hettler. Übersetzung von E/R-Modellen nach SPECTRUM. Technical Report TUM-I9333, Technische Universität München, 1993.
R. Hull and R. King. Semantic database modeling: Survey, applications, and research issues. ACM Computing Surveys, 19 (3): 201–260, 1987.
M. Löwe and H. Ehrig. Algebraic approach to graph transformation based on single pushout derivations. In 16th International Workshop on Graph-theoretic Concepts in Computer Science, pages 338–353. Springer Lecture Notes in Computer Science 484, 1991.
M. Löwe, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In M.R. Sleep, M.J. Plasmeijer, and M.C. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, chapter 14, pages 185–199. John Wiley & Sons Ltd, 1993.
M. Löwe. Algebraic approach to single-pushout graph transformation. Theoretical Computer Science, 109:181–224, 1993. Short version of Techn. Rep. 90/05, TU Berlin, Department of Computer Science, 1990.
P. Scheuermann, G. Schiffner, and H. Weber. Abstraction compatibilities and invariant properties modelling in entity-relationship approach. In P.P. Chen, editor, Proc. of the 1st Int. Conference on Entity-Relationship Approach, pages 121–140, 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Claßen, I., Löwe, M., Waßerroth, S., Wortmann, J. (1994). Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods. In: Wolfinger, B. (eds) Innovationen bei Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51136-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-51136-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58313-4
Online ISBN: 978-3-642-51136-3
eBook Packages: Springer Book Archive