Descomposición de un Esquema en Forma Normal de Boyce Codd

Ya habíamos dicho que un esquema en Primera Forma Normal está en Forma Normal de Boyce-Codd cuando para toda dependencia funcional no trivial X->Y, se tiene que X es clave o superclave.
Un esquema en FNBC tiene la interesante propiedad de que está en 3FN.


Algoritmo para descomponer en FNBC

Recibe como argumentos:
 1. el conjunto de dependencias funcionales (DF)
 2. La relacion original (R)

* Calculamos F+
* Si el esquema no está en FNBC, cogemos la primera dep funcional de DF no trivial que cumpla que la parte izquierda no sea clave candidata.
* Dividimos el esquema R en dos: por un lado creamos un esquema cuyos atributos sean los de la dependencia funcional y le añadimos aquellas dependencias funcionales de F+ que sólo involucren a esos atributos.
* Y por otro lado creamos otro esquema cuyos atributos son todos los de la relación R, menos los de la parte derecha de la dependencia funcional por la que estamos descomponiendo, y le añadimos aquellas dependencias funcionales de F+ que solo involucren a atributos de este segundo subesquema.
* El proceso es recursivo hasta que todos los esquemas estén en FNBC.