Boyce-Codd Normal Form