3.2.11. Normal forms (BCNF)

  • Boyce-Codd Normal form (BCNF)
    • Simpler, stricter 3NF
      • BCNF → 3NF
      • 3NF does not imply BCNF
    • nontrivial functional dependency X → Y
    • Then X must be a superkey