Normalization And Normal Forms