Normalization as Set Partitioning

Apply normal forms to decompose relations while preserving functional dependencies.