An entity-relationship algebra

Abstract

This paper defines an algebra for the manipulation of an entity-relationship data base. The algebra is said to be complete through equivalence with the usual definition of completeness for relational data manipulation languages. This work is intended to provide a sound basis for the definition of complete entity-relationship DMLs, an essential feature to make the ER model fully operational.