Normalization Using Functional Dependency