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