This monograph describes a method of data modelling whose basic aim is to make databases easier to use by providing them with logical data independence. To achieve this, the nested UR (universal relation) model is defined by extending the classical UR model to nested relations. Nested relations generalize flat relations and allow hierarchically structured objects to be modelled directly, whereas the classical UR model allows the user to view the database as if it were composed of a single flat relation. The author presents a comprehensive formalisation of the nested relational model, which incorporated null values into the model. Functional data dependencies and the classical notion of lossless decomposition are extended to nested relations and an extended chase procedure is defined to test the satisfaction of the data dependencies. The nested UR model is defined, and the classical UR model is shown to be a special case of the nested model.This implies that an UR interface canbe implemented by using the nested UR model, thus gaining the full advantages of nested relations over flat relations.
