Tag Boyce-Codd normal form