Boyce-Codd normal form Synonyms