Re: Base Normal Form
Date: Mon, 04 Jul 2005 19:41:12 GMT
David Cressey wrote:
> I'd like to suggest a new Normal Form definition, one that I'm calling Base
> Normal Form, for lack of a better term.
In some texts I've seen it called the UNF (unnormalized normal form) or
the NFNF (non first normal form). To make things confusing, it is also
equivalent with Chris Date's definition of 1NF.
> compatible with the definition of candidate key as used in BCNF.
That's do-able. If you define a table as a list of tuples that all have the same attributes, then a superkey is a set of attributes K such that there cannot be two different positions in the table such that the tuples at these positions agree on the values for K. The notion of candidate key is then based on the notion of superkey in the usual way.
Note that this definition is sloppy in the usual way where we ignore the fact that a candidate key is not so much a property of a single relation but rather of the set of all relations that are valid for a certain relvar.
> I'm speculating that this definition, together with BCNF, would be
> sufficient to cover introductory DB design, skipping over 1NF, 2NF, and 3NF,
> and leaving normal forms beyond BCNF for more advanced treatement.
- Jan Hidders