A normal form for relational databases that is based on domains and keys
- 1 September 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 6 (3), 387-415
- https://doi.org/10.1145/319587.319592
Abstract
A new normal form for relational databases, called domain-key normal form (DK/NF), is defined. Also, formal definitions of insertion anomaly and deletion anomaly are presented. It is shown that a schema is in DK/NF if and only if it has no insertion or deletion anomalies. Unlike previously defined normal forms, DK/NF is not defined in terms of traditional dependencies (functional, multivalued, or join). Instead, it is defined in terms of the more primitive concepts of domain and key, along with the general concept of a “constraint.” We also consider how the definitions of traditional normal forms might be modified by taking into consideration, for the first time, the combinatorial consequences of bounded domain sizes. It is shown that after this modification, these traditional normal forms are all implied by DK/NF. In particular, if all domains are infinite, then these traditional normal forms are all implied by DK/NF.Keywords
This publication has 19 references indexed in Scilit:
- Decompositions and functional dependencies in relationsACM Transactions on Database Systems, 1980
- On the computational complexity of cardinality constraints in relational databasesInformation Processing Letters, 1980
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- The theory of joins in relational databasesACM Transactions on Database Systems, 1979
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- System RACM Transactions on Database Systems, 1976
- A relational model of data for large shared data banksCommunications of the ACM, 1970
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936