FORMA NORMAL DE BOYCE-CODD (FNBC)

Edgar Frank Codd a finales defini las bases del modelo relacional a finales de los 60. Trabajaba para IBM empresa que tard un poco en implementar sus bases. Pocos aos despus el modelo se empez a implementar cada vez ms, hasta ser el modelo de bases de datos ms popular. En las bases de Codd se definan los objetivos de este modelo:

Independencia fsica. La forma de almacenar los datos, no debe influir en su manipulacin lgica

Independencia lgica. Las aplicaciones que utilizan la base de datos no deben ser modificadas por que se modifiquen elementos de la base de datos.

Flexibilidad. La base de datos ofrece fcilmente distintas vistas en funcin de los usuarios y aplicaciones.

Uniformidad. Las estructuras lgicas siempre tienen una nica forma conceptual (las tablas)

Sencillez.

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 excepto de la clave (excluyendo dependencias triviales, como A \to A). 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.

Grficamente podemos representar la forma normal de Boyce Codd de la siguiente forma:

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.

Tabla en tercera forma normal

CPost

Dir

Ciud

3000

C/ Las Flores N17

Merida

4858

Av. Bolvar este N72

Maracay

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

Tabla en forma normal de Boyce-Codd

CPost

Dir

3000

C/ Las Flores N17

4858

Av. Bolvar este N72

Tabla en forma normal de Boyce-Codd

CPost

Ciud

3000

Merida

4858

Maracay

En la mayora de los casos, las relaciones en 3FN estarn en FNBC. Para Validar esto se deben ubicar todos los determinantes existentes en la relacin as como todas las claves candidatas, se comparan ambos conjuntos y si encuentra que hay algn determinante que no resulta ser clave candidata se demuestra que no esta en FNBC. Se comprueba que la relacin

est en 1FN, todos los atributos son atmicos. Tambin est en 2FN ya que no hay dependencias funcionalmente completas entre atributos que no sean clave (formen parte de la clave). Y finalmente se verifica que no hay ningn atributo que dependa de forma transitiva de la clave Primaria, luego est en 3FN. Usualmente se considera aceptable tener relaciones que lleguen slo hasta la FNBC.

La definicin de la 3FN no produce diseos satisfactorios cuando se dan las siguientes condiciones, o lo que es lo mismo, cuando una relacin NO ESTE EN FNBC concurrirn las siguientes circunstancias:

* Existen varias claves candidatas.

* Las claves candidatas son compuestas.

* Las claves candidatas se encubren, tienen al menos un atributo en comn.

No hay un teorema sobre la divisin de la relacin, el motivo es que no se puede asegurar que al descomponer una relacin en dos para conseguir la FNBC el significado de las relaciones obtenidas se corresponda semnticamente a lo que representa la relacin inicial. En otras palabras, se puede tomar una decisin equivocada al descomponer ya que puede que perdamos parte de la semntica de la relacin anterior.