3 types of anomalies:
Update (inconsistency)
Deletion
Insertion
summary of 1NF, 2NF, 3NF
1NF - contains no repeating data elements
2NF - 1NF and contains no partial-functional dependencies
3NF - 2NF and contains no transitive dependencies
1NF to 2NF
transitive dependency
A —> B and B —> C,
so A —> C (transitive)
(Provided that A is not functionally dependent on B or C).