Boyce-Codd normal Form