TAREA 4

ALGORITMOS DE DESCOMPOSICIÓN

El mal diseño de un modelaje sugiere que se deben descomponer los esquemas de relacion que tiene muchos atributos en varios esquemas con menos atributos. Una descompisicion poco cuidadosa, no obstante, puede llevar a otra modalidad de mal diseño.

Cuando se analizan la tuplas y en ellas se encuentra que hay menos informacion de la que en realidad es, debido a la perdida de informacion se dice que la descomposiscion es una descomposicion con perdida, o una descomposicion de reunion con perdida, en general demuestra que hubo un mal diseño de ase de datos.

EJEMPLO:

Descomposicion de reunion sin perdida:

Verificar si la descomposición de R(ABC) en R₁(AB) y R₂(AC) es SPI. El conjunto de dependencias funcionales válido en R es F = { A->B }. 

• R₁ Ç R₂ = A
• R₁ - R₂ = B
• R₂ - R₁ = C

      Luego se tiene que verificar una de las siguientes condiciones: 

• A -> B Î F⁺
• A -> C Î F⁺

      como A -> B Î F⁺ se puede afirmar que la descomposición de R es SPI.

Conservacion de las dependencias:

Hay otro objetivo en el diseño de las bases de datos relacionales: la conservación de las dependencias. Cuando se lleva a cabo una actualización de la base de datos el sistema debe poder comprobar que la a ctualización no crea ninguna relación ilegal, es decir, una relación que no satisface todas las dependencias funcionales dadas. Si hay que comprobar de manera eficiente las actualizaciones, se deben diseñar unos esquemas de bases de datos relacionales que permitan la validación de las actualizaciones sin que haga falta calcular las reuniones

Para decidir si hay que calcular las reuniones para comprobar una actualización hace falta determinar las dependencias funcionales que hay que comprobar verificando cada relación una a una.

CUARTA FORMA NORMAL

Una tabla está en 4NF si y solo si esta en Tercera forma normal y no posee dependencias multivalorada no triviales. La definición de la 4NF confía en la noción de una dependencia multivalorada. Una tabla con una dependencia multivalorada es una donde la existencia de dos o más relaciones independientes muchos a muchos causa redundancia; y es esta redundancia la que es suprimida por la cuarta forma normal.

DEPENDENCIA MULTIVALORADA:

Sea R un esquema de relación. 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. (Cátedra 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.

OTRA FORMAS NORMALES

La cuarta forma normal no es, de ningún modo, la forma normal «definitiva». Como ya se ha visto, las dependencias multivaloradas ayudan a comprender y a abordar algunas formas de repetición de la información que no pueden comprenderse en términos de las dependencias funcionales. Hay tipos de restricciones denominadas dependencias de reunión que generalizan las dependencias multivaloradas y llevan a otra forma normal denominada forma normal de reunión por proyección (FNRP) (la FNRP se denomina en algunos libros quinta forma normal). Hay una clase de restricciones todavía más generales, que lleva a una forma normal denominada forma normal de dominios y claves(FNDC).