The Boyce-Codd-Heath normal form for SQL

Show simple item record Ferrarotti, F en Hartmann, S en Koehler, H en Link, Sebastian en Vincent, MW en
dc.contributor.editor Beklemishev, LD en
dc.contributor.editor de Queiroz, R en
dc.coverage.spatial Philadelphia, PA, U.S.A. en 2011-12-08T00:24:31Z en 2011-04-28 en
dc.identifier.citation WoLLIC, Philadelphia, PA, U.S.A., 18 May 2011 - 20 May 2011. Editors: Beklemishev LD, de Queiroz R. Logic, Language, Information and Computation - 18th International Workshop. Springer Lecture Notes in Computer Science, Berlin/Heidelberg. 6642: 110-122. 28 Apr 2011 en
dc.identifier.isbn 978-3-642-20919-2 en
dc.identifier.issn 0302-9743 en
dc.identifier.uri en
dc.description.abstract 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. en
dc.publisher Springer Lecture Notes in Computer Science en
dc.relation.ispartof WoLLIC en
dc.relation.ispartofseries Logic, Language, Information and Computation - 18th International Workshop en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from en
dc.rights.uri en
dc.title The Boyce-Codd-Heath normal form for SQL en
dc.type Conference Item en
dc.identifier.doi 10.1007/978-3-642-20920-8_14 en
pubs.begin-page 110 en
pubs.volume 6642 en
dc.rights.holder Copyright: Springer Lecture Notes in Computer Science en en
pubs.end-page 122 en
pubs.finish-date 2011-05-20 en Berlin/Heidelberg en
pubs.start-date 2011-05-18 en
dc.rights.accessrights en
pubs.subtype Conference Paper en
pubs.elements-id 257352 en Science en School of Computer Science en
dc.identifier.eissn 1611-3349 en
pubs.record-created-at-source-date 2011-12-08 en

Files in this item

Find Full text

This item appears in the following Collection(s)

Show simple item record


Search ResearchSpace