Codd

Derived terms

 * Boyce-Codd normal form