domingo, 25 de abril de 2010

Tercera forma normal


-La tabla está en la segunda forma normal (2NF)
-Ningún atributo no-primario de la tabla es dependiente transitivamente de una clave candidata

Un atributo no-primario es un atributo que no pertenece a ninguna clave candidata. Una dependencia transitiva es una dependencia funcional XZ en la cual Z no es inmediatamente dependiente de X, pero sí de un tercer conjunto de atributos Y, que a su vez depende de X. Es decir, XZ por virtud de XY e YZ.

Una formulación alternativa de la definición de Codd, dada por Carlo Zaniolo[2] en 1982, es ésta: Una tabla está en 3NF si y solo si, para cada una de sus dependencias funcionales XA, por lo menos una de las condiciones siguientes se mantiene:

-X contiene A, ó

-X es una superclave, ó

-A es un atributo primario (es decir, A está contenido dentro de una clave candidata)

La definición de Zaniolo tiene la ventaja de dar un claro sentido de la diferencia entre la 3NF y la más rigurosa forma normal de Boyce-Codd (BCNF). La BCNF simplemente elimina la tercera alternativa ("A es un atributo primario").

La tabla se encuentra en 3FN si es 2FN y si no existe ninguna dependencia funcional transitiva entre los atributos que no son clave.

Un ejemplo de este concepto sería que, una dependencia funcional X->Y en un esquema de relación R es una dependencia transitiva si hay un conjunto de atributos Z que no es un subconjunto de alguna clave de R, donde se mantiene X->Z y Z->Y.

Por ejemplo, la dependencia SSN->DMGRSSN es una dependencia transitiva en EMP_DEPT de la siguiente figura. Decimos que la dependencia de DMGRSSN el atributo clave SSN es transitiva vía DNUMBER porque las dependencias SSN→DNUMBER y DNUMBER→DMGRSSN son mantenidas, y DNUMBER no es un subconjunto de la clave de EMP_DEPT. Intuitivamente, podemos ver que la dependencia de DMGRSSN sobre DNUMBER es indeseable en EMP_DEPT dado que DNUMBER no es una clave de EMP_DEPT.

  • la tercera forma normal aligual que las anteriores es usada para la normalizacion de la base de datos y se dise que es un la forma normal si solo las siguientes dos condiciones se cumplen:La tabla es de la segunda forma normal y nigun atributo debe ser dependiente transitivamente a una clave candidata. Esta nom debe tener algun atrivuto a la clave candidata ademas debe cumplir con una dependencia transitiva o funcional.
  • aulaclic.es y wikipedia












No hay comentarios:

Publicar un comentario