Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View

Authors:
Ernst-Erich Doberkat;Eugenio G. Omodeo
Affiliations:
-;-
Venue:
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Year:
2001

Citing 7
Cited 1

Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Relational methods in computer science

Relational methods in computer science
Databases

Relational methods in computer science
A relational model of data for large shared data banks

Communications of the ACM
Set theory for computing: from decision procedures to declarative programming with sets

Set theory for computing: from decision procedures to declarative programming with sets
Entity-Relationship Modeling: Foundations of Database Technology

Entity-Relationship Modeling: Foundations of Database Technology

ER modelling from first relational principles

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We provide a detailed analysis of the insertion operations for an ER-model represented in terms of the map calculus. This continues our previous study of compiling an ER model into the abstract setting of what might be called logic without variables.