A denotational semantics for the generalized ER model and a simple ER algebra

The recent spurt of research activities in Entity-Relationship Approach to databases calls for a close scrutiny of the semantics of the underlying Entity-Relationship models, data manipulation languages, data definition languages, etc. For reasons well known, it is very desirable and sometimes imperative to give formal description of the semantics. In this paper, we consider a specific ER model, the generalized Entity-Relationship model (without attributes on relationships) and give denotational semantics for the model as well as a simple ER algebra based on the model. Our formalism is based on the Vienna Development Method—the meta language (VDM). We also discuss the salient features of the given semantics in detail and suggest directions for further work.

[1]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[2]  Michael J. C. Gordon,et al.  The Denotational Description of Programming Languages , 1979, Springer New York.

[3]  Ramez Elmasri,et al.  The Category Concept: An Extension to the Entity-Relationship Model , 1985, Data Knowl. Eng..

[4]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[5]  Alan H. Goldfine.  The Information Resource Dictionary System , 1985, ER.

[6]  Neil W. Webre.  An Extended Entity-Relationship Model and Its Use on a Defense Project , 1981, ER.

[7]  Sushil Jajodia,et al.  The Problem of Equivalence for Entity-Relationship Diagrams , 1983, IEEE Transactions on Software Engineering.

[8]  Maurizio Lenzerini,et al.  A Methodology for Data Schema Integration in the Entity Relationship Model , 1984, IEEE Transactions on Software Engineering.

[9]  Peter P. Chen.  A Preliminary Framework for Entity-Relationship Models , 1981, ER.

[10]  G. Barbara Demo,et al.  An Entity-Relationship Query Language , 1985, TFAIS.

[11]  Peter P. Chen,et al.  A Decomposition of Relations Using the Entity-Relationship Approach , 1981, ER.

[12]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[13]  Robert W. Blanning,et al.  SoftCord: an intelligent agent for coordination in software development projects , 1986 .

[14]  Peter P. Chen.  An algebra for a directional binary entity-relationship model , 1984, 1984 IEEE First International Conference on Data Engineering.

[15]  Dines Bjørner,et al.  Formal specification and software development , 1982 .

[16]  M. H. Rogers.  Proceedings of the symposium on computers and automata: Edited by Jerome Fox, John Wiley, Chichester, UK, (1972), £9.85 , 1973 .

[17]  Dines Bjørner,et al.  Formalization of Database Models , 1982 .

[18]  Dines Bjørner.  Formalization of Data Base Models , 1979, Abstract Software Specifications.

[19]  David W. Embley,et al.  A Relationally Complete Query Language for an Entity-Relationship Model , 1985, ER.

[20]  H. J. Spencer.  A mathematical schema for the entity-relationship data model , 1985, ACM '85.

[21]  Stefano Spaccapietra,et al.  An entity-relationship algebra , 1984, 1984 IEEE First International Conference on Data Engineering.