Takes Database and Functional dependencies as Input and checks Normalization form and converts up to BCNF.