Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems (TODS)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Relational methods in computer science
Relational methods in computer science
Heterogeneous relation algebra
Relational methods in computer science
Relational methods in computer science
Fundamentals of object-oriented design in UML
Fundamentals of object-oriented design in UML
Goals and benchmarks for automated map reasoning
Journal of Symbolic Computation - Special issue on advances in first-order theorem proving
A relational model of data for large shared data banks
Communications of the ACM
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Hi-index | 5.23 |
Entity-Relationship (ER) modelling as a popular technique for data modelling. Despite its popularity and widespread use, it lacks a firm semantic foundation. We propose a translation of an ER-model into relation algebra, suggesting that this kind of algebra does provide suitable mechanisms for establishing a formal semantics of ER modelling. The work reported on here deals first with the techniques necessary for the translation, thus constructing a static view of an ER-model in an abstract setting of what might be called logic without variables. We then undertake a detailed analysis of the insertion and deletion operations for an ER-model represented in terms of the relation calculus.