Solution: 3rd Normal Form
A simple condition for removing anomalies from relations:
A relation R is in 3rd normal form if and only if:
Whenever there is a nontrivial dependency
for R , it is the case that { }
a super-key for R, or B is part of a key.
What happened to first and second normal forms?
Will we have more normal forms?