La Forma Normal Boyce-Codd (Denominada por sus siglas en ingles

como BCNF or FNBC) es una forma normal utilizada en la normalizacin de

bases de datos. Es una adaptacin vagamente ms segura de lo establecido
en la Tercera Forma Normal (3FN).
Es una etapa en que se deben agrupar los datos por afinidad, formando
tablas las cuales se relacionan entre si mediante campos comunes; una tabla
se considera en esta forma si y slo s cada determinante o atributo es una
llave candidata.
La forma normal de Boyce-Codd requiere que no existan dependencias
funcionales no triviales de los atributos que no sean un conjunto de la clave
candidata. En base de datos un atributo determinante es un atributo del que
depende funcionalmente de manera completa algn otro atributo. Todo
determinante es una clave candidata.
Como una tabla est en Forma Normal de Boyce-Codd si solo existen
dependencias funcionales elementales que dependan de la clave primaria o de
cualquier clave alternativa. Si la clave primaria est formada por un solo
atributo y est en 3FN, sta a su vez est en FNBC. Cmo en una tabla en 3FN,
todos los atributos dependen de una clave, de la clave completa y de ninguna
otra cosa
como

excepto de la clave (excluyendo dependencias triviales,

). Se dice que una tabla est en FNBC si y solo si est en 3FN

y cada dependencia funcional no trivial tiene una clave candidata como

determinante. En trminos menos formales, una tabla est en FNBC si est 3FN
y los nicos determinantes son claves candidata
La 2FN y la 3FN eliminan las dependencias parciales y las dependencias
transitivas de la clave primaria. Pero este tipo de dependencias todava pueden
existir sobre otras claves candidatas, si stas existen. La BCFN es ms fuerte
que la 3FN, por lo tanto, toda relacin en BCFN est en 3FN.
La violacin de la BCFN es poco frecuente ya que se da bajo ciertas
condiciones que raramente se presentan. Se debe comprobar si una relacin
viola la BCFN si tiene dos o ms claves candidatas compuestas que tienen al
menos un atributo en comn.