generated at
Boyce-Codd normal form