3.2.13. Normal forms in context

  • AB → C, C → D, D → A
  • In context
    • 3NF? Yes
      • Because AB is a superkey and
      • D and A are prime attributes
    • BCNF? No
      • Because C and D are not superkeys
      • (even though AB is)