Boyce–Codd normal form and object normal forms

https://doi.org/10.1016/0020-0190(89)90065-3Get rights and content

Abstract

Ascribing uniqueness and independent existence to objects we formally define these properties for relational database schemes with functional dependencies. Arguing that minimal left-hand sides of functional dependencies should be considered as objects we introduce object normal forms. Finally, showing that object normal forms and Boyce–Codd normal form are closely related, we provide new insight into the achievements of the Boyce–Codd normal form.

References (9)

  • J. Biskup et al.

    Design of relational database schemes by deleting attributes in the canonical decomposition

    J. Comput. System Sci.

    (1987)
  • P.A. Bernstein et al.

    What does Boyce–Codd normal form do?

    Proc. 6th Internat. Conf. on Very Large Data Bases

    (1980)
  • H.J. Hernández et al.

    A characterization of constant-time maintainability for BCNF database schemes

    Proc. ACM–SIGMOD Internat. Conf. on Management of Data

    (1988)
  • W. Kent

    A simple guide to five normal forms in relational database theory

    Comm. ACM

    (1983)
There are more references available in the full text version of this article.

Cited by (18)

  • Relational database schema design for uncertain data

    2019, Information Systems
    Citation Excerpt :

    Armstrong axiomatized FDs [5], and linear-time algorithms to decide their implication problem are known [6,18]. These results provide the foundation for relational schema design, including 3NF [7,10,12], BCNF [8,15] and their semantic justification as to dependency-preservation and minimization of data redundancy [4,36,55]. Deciding if a schema is in 3NF is NP-complete, while the same problem for BCNF is in P-time but deciding if a projection of a schema is in BCNF is coNP-complete [6].

  • Object Normal Form, Fourth Normal Form and Their Application to Database Security

    2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
View all citing articles on Scopus
View full text