3.1.15. F.d. closure example

  • 2.Pairs (note commutative)
    • AB+ -> ABCD
    • AC+ -> ACD
    • AD+ -> AD
    • BC+ -> ABCD
    • BD+ -> ABCD
    • CD+ -> ACD
  • Superkeys?