Normal Forms
  Relations can be characterized by the
normal form conditions that they satisfy:
1st Normal form (1NF)
all attributes are atomic
3rd Normal form (3NF)
all FDs have a super-key on their left-hand side or
a part of some key on their right
Boyce-Codd normal Form (BCNF)
all FDs have a super-key on their left-hand side