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

@inproceedings{Doberkat2001AlgebraicSO,
  title={Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View},
  author={Ernst-Erich Doberkat and Eugenio G. Omodeo},
  booktitle={RelMiCS},
  year={2001}
}
We provide a detailed analysis of the insertion and deletion 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. Page 1 Algebraic semantics of ER-models, II: Dynamic View