What does Boyce-Codd Normal Form Do?
Philip A. Bernstein, Nathan Goodman:
What does Boyce-Codd Normal Form Do?
VLDB 1980: 245-259@inproceedings{DBLP:conf/vldb/BernsteinG80,
author = {Philip A. Bernstein and
Nathan Goodman},
title = {What does Boyce-Codd Normal Form Do?},
booktitle = {Sixth International Conference on Very Large Data Bases, October
1-3, 1980, Montreal, Quebec, Canada, Proceedings},
publisher = {IEEE Computer Society},
year = {1980},
pages = {245-259},
ee = {db/conf/vldb/BernsteinG80.html},
crossref = {DBLP:conf/vldb/80},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Normalization research has concentrated on defining
normal forms for database schemas and developing
efficient algorithms for attaining these normal
forms. It has never been proved that normal forms
are good, i.e. that normal forms are beneficial to
database users. This paper considers one of the
earliest normal forms (Boyce Codd normal form
[Cod2]) whose benefits are intuitively understood.
We formalize these benefits and attempt to prove
that the normal form attains them. Instead we
prove the opposite: Boyce-Codd normal form fails
to meet its goals except in trivial cases. This
counterintuitive result is a consequence of the
"universal relation assumption" upon which normalization
theory rests. Normalization theory will
remain an isolated theoretical area, divorced from
database practice, until this assumption is
circumvented.
Copyright © 1980 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings.
IEEE Computer Society 1980
Contents BibTeX
References
- [ABU]
- Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman:
The Theory of Joins in Relational Databases.
ACM Trans. Database Syst. 4(3): 297-314(1979) BibTeX
- [AM]
- ...
- [Arm]
- William Ward Armstrong:
Dependency Structures of Data Base Relationships.
IFIP Congress 1974: 580-583 BibTeX
- [BBG]
- Catriel Beeri, Philip A. Bernstein, Nathan Goodman:
A Sophisticate's Introduction to Database Normalization Theory.
VLDB 1978: 113-124 BibTeX
- [BFH]
- Catriel Beeri, Ronald Fagin, John H. Howard:
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.
SIGMOD Conference 1977: 47-61 BibTeX
- [Bern]
- Philip A. Bernstein:
Synthesizing Third Normal Form Relations from Functional Dependencies.
ACM Trans. Database Syst. 1(4): 277-298(1976) BibTeX
- [BG]
- ...
- [BMSU]
- Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman:
Equivalence of Relational Database Schemes.
STOC 1979: 319-329 BibTeX
- [Cod1]
- E. F. Codd:
Further Normalization of the Data Base Relational Model.
IBM Research Report, San Jose, California RJ909: (1971) BibTeX
- [Cod2]
- E. F. Codd:
Recent Investigations in Relational Data Base Systems.
IFIP Congress 1974: 1017-1021 BibTeX
- [Date]
- ...
- [DB]
- Umeshwar Dayal, Philip A. Bernstein:
On the Updatability of Relational Views.
VLDB 1978: 368-377 BibTeX
- [DC]
- ...
- [Fag1]
- Ronald Fagin:
Multivalued Dependencies and a New Normal Form for Relational Databases.
ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
- [Fag2]
- Ronald Fagin:
Normal Forms and Relational Database Operators.
SIGMOD Conference 1979: 153-160 BibTeX
- [HLY]
- Peter Honeyman, Richard E. Ladner, Mihalis Yannakakis:
Testing the Universal Instance Assumption.
Inf. Process. Lett. 10(1): 14-19(1980) BibTeX
- [Mar]
- ...
- [Ris]
- Jorma Rissanen:
Independent Components of Relations.
ACM Trans. Database Syst. 2(4): 317-325(1977) BibTeX
Referenced by
- Héctor J. Hernández, Edward P. F. Chan:
Constant-Time-Maintainable BCNF Database Schemes.
ACM Trans. Database Syst. 16(4): 571-599(1991)
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume II.
Computer Science Press 1989, ISBN 0-7167-8162-X
Contents - Héctor J. Hernández, Edward P. F. Chan:
A Characterization of Constant-time-mainteinability for BCNF Database Schemes.
SIGMOD Conference 1988: 209-217
- Edward P. F. Chan, Héctor J. Hernández:
On the Desirability of gamma-Acyclic BCNF Database Schemes.
ICDT 1986: 105-122
- Ashok Pahwa, Adarsh K. Arora:
Automatic Database Navigation: Towards a High Level User Interface.
ER 1985: 36-43
- Jeffrey D. Ullman:
On Kent's "Consequences of Assuming a Universal Relation".
ACM Trans. Database Syst. 8(4): 637-643(1983)
- Yehoshua Sagiv:
A Characterization of Globally Consistent Databases and Their Correct Access Paths.
ACM Trans. Database Syst. 8(2): 266-286(1983)
- David Maier, Jeffrey D. Ullman:
Maximal Objects and the Semantics of Universal Relation Databases.
ACM Trans. Database Syst. 8(1): 1-14(1983)
- Marc H. Graham:
Functions in Databases.
ACM Trans. Database Syst. 8(1): 81-109(1983)
- Robert Brown, Douglas Stott Parker Jr.:
LAURA: A Formal Data Model and her Logical Design Methodology.
VLDB 1983: 206-218
- David Maier:
The Theory of Relational Databases.
Computer Science Press 1983, ISBN 0-914894-42-0
Contents - Carlo Zaniolo:
A New Normal Form for the Design of Relational Database Schemata.
ACM Trans. Database Syst. 7(3): 489-499(1982)
- Anthony C. Klug, Rod Price:
Determining View Dependencies Using Tableaux.
ACM Trans. Database Syst. 7(3): 361-380(1982)
- Carol Helfgott LeDoux, Douglas Stott Parker Jr.:
Reflections on Boyce-Codd Normal Form.
VLDB 1982: 131-141
- Tomasz Imielinski, Witold Lipski Jr.:
A Systematic Approach to Relational Database Theory.
SIGMOD Conference 1982: 8-14
- Jeffrey D. Ullman:
The U. R. Strikes Back.
PODS 1982: 10-22
- Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou:
Inclusion Dependencies and Their Interaction with Functional Dependencies.
PODS 1982: 171-176
- Marco A. Casanova:
A Theory of Data Dependencies over Relational Expressions.
PODS 1982: 189-198
- Paolo Atzeni, Douglas Stott Parker Jr.:
Assumptions in Relational Database Theory.
PODS 1982: 1-9
- Billie S. Goldstein:
Constraints on Null Values in Relational Databases.
VLDB 1981: 101-110
- Yehoshua Sagiv:
Can We Use the Universal Instance Assumption Without Using Nulls?
SIGMOD Conference 1981: 108-120
- Asuman Dogac, Peter P. Chen:
Entity-Relationship Model in the ANSI/SPARC Framework.
ER 1981: 357-374
- Yannis Vassiliou:
Functional Dependencies and Incomplete Information.
VLDB 1980: 260-269
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:09 2009