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