A new normal form for the design of relational database schemata

This paper addresses the problem of database schema design in the framework of the relational data model and functional dependencies. It suggests that both Third Normal Form (3NF) and Boyce-Codd Normal Form (BCNF) supply an inadequate basis for relational schema design. The main problem with 3NF is that it is too forgiving and does not enforce the separation principle as strictly as it should. On the other hand, BCNF is incompatible with the principle of representation and prone to computational complexity. Thus a new normal form, which lies between these two and captures the salient qualities of both is proposed. The new normal form is stricter than 3NF, but it is still compatible with the representation principle. First a simpler definition of 3NF is derived, and the analogy of this new definition to the definition of BCNF is noted. This analogy is used to derive the new normal form. Finally, it is proved that Bernstein's algorithm for schema design synthesizes schemata that are already in the new normal form.

[1]  Philip A. Bernstein,et al.  Computational problems related to the design of normal form relational schemas , 1979, TODS.

[2]  FaginRonald.  Multivalued dependencies and a new normal form for relational databases , 1977 .

[3]  Philip A. Bernstein,et al.  Synthesizing third normal form relations from functional dependencies , 1976, TODS.

[4]  Catriel Beeri,et al.  A Sophisticate's Introduction to Database Normalization Theory , 1978, VLDB.

[5]  Ronald Fagin,et al.  Normal forms and relational database operators , 1979, SIGMOD '79.

[6]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[7]  Catriel Beeri,et al.  A complete axiomatization for functional and multivalued dependencies in database relations , 1977, SIGMOD '77.

[8]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

[9]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[10]  Tok Wang Ling,et al.  An improved third normal form for relational databases , 1981, TODS.

[11]  E. F. Codd,et al.  Recent Investigations in Relational Data Base Systems , 1974, ACM Pacific.

[12]  A BernsteinPhilip,et al.  Computational problems related to the design of normal form relational schemas , 1979 .

[13]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[14]  Joachim Biskup,et al.  Synthesizing independent database schemas , 1979, SIGMOD '79.

[15]  Philip A. Bernstein,et al.  What does Boyce-Codd Normal Form Do? , 1980, VLDB.

[16]  Carlo Zaniolo,et al.  On the design of relational database schemata , 1981, TODS.

[17]  Carlo Zaniolo,et al.  Analysis and design of relational schemata for database systems. , 1976 .