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.