Notes for A.2.10 Normalization Forms - IB