Functional Entity Relationship Model and Update Operations.
data base sublanguage founded on the relational calculus .