DEFINICIONES Y EJEMPLOS

La Forma Normal de Boyce-Codd (o FNBC) es una forma normal utilizada en la

normalizacin de bases de datos. Es una versin ligeramente ms fuerte de la Tercera forma normal (3FN). 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 una tabla en 3FN, todos los atributos dependen de una clave, de la clave completa y de ninguna otra cosa excepto de la clave (excluyendo dependencias triviales, como ). 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 en 3FN y los nicos determinantes son claves candidatas. Cualquier tabla que sea insuficiente en FNBC ser vulnerable a inconsistencias lgicas. Una relacin est en la forma normal de Boyce-Codd si, y slo si, todo determinante es una clave candidata. La Forma Normal de Boyce-Codd tiene ms relevancia que la 3 Forma Normal con lo que toda relacin que se encuentre en FNBC est tambin en 3FN.

Ejemplo
La cuestin es que un trabajador o trabajadora puede trabajar en varios departamentos. En dicho departamento hay varios responsables, pero cada trabajador slo tiene asignado uno. El detalle importante que no se ha tenido en cuenta, es que el o la responsable slo puede ser responsable en un departamento. Este detalle ltimo produce una dependencia funcional ya que: ResponsableDepartamento Por lo tanto hemos encontrado un determinante que no es clave candidata. No est por tanto en FNBC. En este caso la redundancia ocurre por mala seleccin de clave. La redundancia del departamento es completamente evitable. Solamente en casos raros una tabla en 3NF no satisface los requerimientos de la FNBC. Un ejemplo de tal tabla es (teniendo en cuenta que cada estudiante puede tener ms de un tutor): Referencia cruzada de Tutor/Estudiante

El propsito de la tabla es mostrar qu tutores estn asignados a qu estudiantes. Las claves candidatas de la tabla son: {ID Tutor, ID Estudiante} {Nmero de seguro social del tutor, ID Estudiante} Por lo tanto los tres atributos de la tabla son atributos primarios, es decir, los tres atributos pertenecen a las claves candidatas. La FNBC es ms rigurosa que la 3NF en que no permite ninguna dependencia funcional en la cual el conjunto determinante de atributos no sea una clave candidato (o superconjunto de eso). La dependencia de ID Tutor en Nmero de seguro social del tutor es ese tipo de dependencia. Por consiguiente, la tabla de arriba no est en FNBC. En este caso, corregir el problema sera una simple cuestin de usar solo un esquema de identificacin para los tutores: o el ID, o el nmero del seguro social, pero no ambos.

EJEMPLO N 2
Un ejemplo tpico para mostrar una tabla que, estando en 3FN, mantiene dependencias funcionales, puede ser una tabla que posee los atributos Direccin, Cdigo Postal y Ciudad, deduciendo que a Ciudades diferentes le corresponden cdigos postales distintos.

En este caso hay dependencia entre el Cdigo Postal y la Ciudad, ya que, conocido el Cdigo Postal se puede conocer la Ciudad, y conocida la Direccin y la Ciudad, se conoce el Cdigo Postal.
Para transformar la tabla en una tabla en FNBC se crea una tabla de Cdigos Postales y Ciudades, eliminando de la tabla original la Ciudad, obtenindose dos tablas, una con los atributos Direccin y Cdigo Postal y otra con el Cdigo Postal y la Ciudad .