In the relational model of data the Boyce-Codd-Heath normal form, commonly just known as Boyce-Codd normal form, guarantees the elimination of data redundancy in terms of functional dependencies. For efficient means of data processing the industry standard SQL permits partial data and duplicate rows of data to occur in database systems. Consequently, the combined class of uniqueness constraints and functional dependencies is more expressive than the class of functional dependencies itself. Hence, the Boyce-Codd-Heath normal form is not suitable for SQL databases. We characterize the associated implication problem of the combined class in the presence of NOT NULL constraints axiomatically, algorithmically and logically. Based on these results we are able to establish a suitable normal form for SQL. © 2011 Springer-Verlag.
CITATION STYLE
Ferrarotti, F., Hartmann, S., Köhler, H., Link, S., & Vincent, M. (2011). The boyce-codd-heath normal form for SQL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6642 LNAI, pp. 110–122). Springer Verlag. https://doi.org/10.1007/978-3-642-20920-8_14
Mendeley helps you to discover research relevant for your work.