4.2.4 Forma Normal de Boyce - Codd

Forma normal de Boyce-Codd (FNBC)

La tabla se encuentra en FNBC si cada determinante, atributo que determina completamente a otro, es clave candidata. Deberá registrarse de forma anillada ante la presencia de un intervalo seguido de una formalización perpetua, es decir las variantes creadas, en una tabla no se llegaran a mostrar, si las ya planificadas, dejan de existir.

Formalmente, un esquema de relación  está en FNBC, si y sólo si, para toda dependencia funcional  válida en , se cumple que

  1.  es superllave o clave.

De esta forma, todo esquema  que cumple FNBC, está además en 3FN; sin embargo, no todo esquema  que cumple con 3FN, está en FNBC.