3.2.12. Normal forms (3NF)

  • Third Normal form (3NF)
  • Derived/based on transitive dependency
  • For all nontrivial functional dependencies
    X → A
  • Either X must be a superkey
  • Or A is a prime attribute
    (member of a key)