Solution: 3rd Normal Form (3NF)
A simple condition for removing
anomalies from relations:
A relation R is in 3rd normal form if
:
Whenever
there is a nontrivial dependency A1, A2, ..., An ® B
for R , then {A1, A2, ..., An } a super-key for R,
or B is part of a key.