Forma Normal de Boyce-Codd FNBC

 Esta forma normal exige que el modelo este en FN3, y que además, todo implicante de la tabla, sea una clave candidata.

El implicante o determinante se entiende como el atributo o conjunto de éstos, del cual depende funcionalmente otro atributo completamente.