A formal specification in Z of the relational data model, version 2, of E.F. Codd
Dorel D Băluţă · Spectrum Research Repository (Concordia University) · 1995
Presents a formal definition of the basic concepts of the relational data model, including some additional features introduced by RM/V2. The formal notation used here is Z, a model-oriented specification language.