The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.

Jacques Cazin, Ren Jacquart, P. Michel

Browse the full ER paper archive.