Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.

Abstract

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.