3.2.08. Normal forms (2NF)
Second normal form (2NF)
Full functional dependency X → Y
A ∈ X, (X - {A}) ¬→ Y
If any attribute A is removed from X
Then X → Y no longer holds
Partial functional dependency
A ∈ X, (X - {A}) → Y