The boyce-codd-heath normal form for SQL

Ferrarotti, Flavio, Hartmann, Sven, Köhler, Henning, Link, Sebastian and Vincent, Millist (2011). The boyce-codd-heath normal form for SQL. In: Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Proceedings. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011, Philadelphia, PA, (110-122). 18-20 May 2011. doi:10.1007/978-3-642-20920-8_14


Author Ferrarotti, Flavio
Hartmann, Sven
Köhler, Henning
Link, Sebastian
Vincent, Millist
Title of paper The boyce-codd-heath normal form for SQL
Conference name 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011
Conference location Philadelphia, PA
Conference dates 18-20 May 2011
Proceedings title Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   Check publisher's open access policy
Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication Heidelberg, Germany
Publisher Springer Verlag
Publication Year 2011
Year available 2011
Sub-type Fully published paper
DOI 10.1007/978-3-642-20920-8_14
Open Access Status Not yet assessed
ISBN 9783642209192
ISSN 1611-3349
0302-9743
Volume 6642 LNAI
Start page 110
End page 122
Total pages 13
Language eng
Abstract/Summary 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.
Subjects 2614 Theoretical Computer Science
1700 Computer Science
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

Document type: Conference Paper
Sub-type: Fully published paper
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 22 Dec 2017, 23:56:22 EST