Boyce-Codd normal form
 
x
OK