Abstract:
Theoretical facets of a relational database model are studied. The attention is focused on formalisation of logical design of a relational database. The well-known kinds of intergrity constraints, the problem of circuit equivalence, and normalization methods are discussed.