Characterization for Functional Dependency and Boyce-Codd Normal Form Databases