BCNF Schema Correction