Normal Forms#
First Normal Form#
All attributes are atomic such that each attribute cannot be broken down further.
Known as the relational models
Boyce-Codd Normal Form (BCNF)#
For at table with functional dependencies is in BCNF if for all \(X \rightarrow A\),
\(A \subseteq X\)
\(X\) is a superkey for \(R\)
In other words, a table is in BCNF if there exist no attribute that is a functional dependency of another except for the trivial functional dependency of the key constraint.