Cuarta forma normal

Cuarta forma normal

La cuarta forma normal (4NF) es una forma normal usada en la normalizacin de bases de datos. La 4NF se asegura de que las dependencias multivaluadas independientes estn correcta y eficientemente representadas en un diseo de base de datos. La 4NF es el siguiente nivel de normalizacin despus de la forma normal de Boyce-Codd (BCNF).

Caractersticas
Una tabla est en 4NF si y solo si esta en Tercera forma normal o en BCNF (Cualquiera de ambas) y no posee dependencias multivaluadas no triviales. La definicin de la 4NF confa en la nocin de una dependencia multivaluada. Una tabla con una dependencia multivaluada es una donde la existencia de dos o ms relaciones independientes muchos a muchos causa redundancia; y es esta redundancia la que es suprimida por la cuarta forma normal.

Dependencia multivaluada
Sea R un esquema de relacin. La dependencia multivaluada X ->> Y vale en R si los pares de tuplas t1 y t2 en R, tal que t1[X] = t2[X] existen las tuplas t3 y t4 en R tales que: t1[X] = t2[X] = t3[X] = t4[X] t3[Y] = t1[Y] t3[R-X-Y] = t2[R-X-Y] t4[Y] = t2[Y] t4[R-X-Y] = t1[R-X-Y] En otras palabras se puede decir que: X ->> Y si dado un valor de X, hay un conjunto de valores de Y asociados y este conjunto de valores de Y NO est relacionado (ni funcional ni multifuncionalmente) con los valores de R - X -Y (donde R es el esquema), es decir Y es independiente de los atributos de R-X-Y. (Ctedra de Base de Datos 1, 2009) Una dependencia multivaluada de la forma X->> Y, es trivial cuando el conjunto de atributos {X,Y} conforma el total de los atributos del esquema.

Ejemplo
Considere el siguiente ejemplo:

Permutaciones de envos de pizzas

Restaurante Variedad de Pizza rea de envo Springfield Shelbyville Springfield Shelbyville Capital City Capital City Springfield Shelbyville Capital City

Vincenzo's Pizza Corteza gruesa Vincenzo's Pizza Corteza gruesa Vincenzo's Pizza Corteza fina Vincenzo's Pizza Corteza fina Elite Pizza Elite Pizza A1 Pizza A1 Pizza A1 Pizza Corteza fina Corteza rellena Corteza gruesa Corteza gruesa Corteza gruesa

Cuarta forma normal

2
A1 Pizza A1 Pizza A1 Pizza Corteza rellena Corteza rellena Corteza rellena Springfield Shelbyville Capital City

Cada fila indica que un restaurante dado puede entregar una variedad dada de pizza a un rea dada. Note que debido a que la tabla tiene una clave nica y ningn atributo no-clave, no viola ninguna forma normal hasta el BCNF. Pero debido a que las variedades de pizza que un restaurante ofrece son independientes de las reas a las cuales el restaurante enva, hay redundancia en la tabla: por ejemplo, nos dicen tres veces que A1 Pizza ofrece la Corteza rellena, y si A1 Pizza comienza a producir pizzas de Corteza de queso entonces necesitaremos agregar mltiples registros, uno para cada una de las reas de envo de A1 Pizza. En trminos formales, esto se describe como que Variedad de pizza est teniendo una dependencia multivalor en Restaurante. Para satisfacer la 4NF, debemos poner los hechos sobre las variedades de pizza ofrecidas en una tabla diferente de los hechos sobre reas de envo:

Restaurante

Variedad de pizza

Restaurante

rea de envo

Vincenzo's Pizza Corteza gruesa Vincenzo's Pizza Corteza fina Elite Pizza Elite Pizza A1 Pizza A1 Pizza Corteza fina Corteza rellena Corteza gruesa Corteza rellena

Vincenzo's Pizza Springfield Vincenzo's Pizza Shelbyville Elite Pizza A1 Pizza A1 Pizza A1 Pizza Capital City Springfield Shelbyville Capital City

En contraste, si las variedades de pizza ofrecidas por un restaurante a veces variaran de un rea de envo a otra, la tabla original de la tres columnas satisfara la 4NF. Ronald Fagin [1] demostr que es siempre posible alcanzar la 4NF (pero no siempre deseable). El teorema de Rissanen es tambin aplicable en dependencias multivalor.

4NF en la prctica
Un artculo de 1992 de Margaret S. Wu observa que la enseanza de la normalizacin de la base de datos se detiene tpicamente justo antes de la 4NF, quizs debido a una creencia que las tablas que violan la 4NF (pero que hacen frente a todas las formas normales ms bajas) son raramente encontradas en aplicaciones empresariales. Sin embargo, esta creencia puede no ser exacta. Wu reporta que en un estudio de cuarenta bases de datos de organizaciones, ms del 20% contena una o ms tablas que violaban la 4NF mientras que satisfacen todas las formas normales ms bajas.[2]

Cuarta forma normal

Referencias
Rules Of Data Normalization [3] Date, C. J. (1999), An Introduction to Database Systems [4] (8th ed.). Addison-Wesley Longman. ISBN 0-321-19784-4. Kent, W. (1983) A Simple Guide to Five Normal Forms in Relational Database Theory [5], Communications of the ACM, vol. 26, pp. 120-125 Date, C.J., & Darwen, H., & Pascal, F. Database Debunkings [6] Advanced Normalization [7] by ITS, University of Texas. Free PDF poster available [8] by Marc Rettig
[1] http:/ / www. almaden. ibm. com/ cs/ people/ fagin/ [2] Wu, Margaret S. (March 1992). The Practical Need for Fourth Normal Form. ACM SIGCSE Bulletin 24 (1): pp.1923. doi: 10.1145/135250.134515 (http:/ / dx. doi. org/ 10. 1145/ 135250. 134515). [3] http:/ / www. datamodel. org/ NormalizationRules. html [4] http:/ / www. aw-bc. com/ catalog/ academic/ product/ 0,1144,0321197844,00. html [5] http:/ / www. bkent. net/ Doc/ simple5. htm [6] http:/ / www. dbdebunk. com [7] http:/ / www. utexas. edu/ its/ windows/ database/ datamodeling/ rm/ rm8. html [8] http:/ / www. marcrettig. com/ poster/

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Cuarta forma normal Fuente: http://es.wikipedia.org/w/index.php?oldid=55882327 Contribuyentes: Anodeeven, Apiman, GermanX, Tamorlan, UA31, 14 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/