Download - dependencias multivaloradas en 4FN - objetivos

Transcript
Page 1: dependencias multivaloradas en 4FN - objetivos

Bases de Datos - 2006Dependencias multivaloradas y Cuarta Forma Normal

Programa y Objetivos de la Unidad

Conceptos necesarios previos a la unidad Esquemas y relaciones. Notacion relacional.Proyeccion y reunion natural. Dependencias funcionales. Axiomas de Armstrong. Cierrede un conjunto de atributos. Concepto de superclave. Forma normal de Boyce-Codd.

Contenidos de la unidad Dependencias Multivaloradas. Implicacion logica. Cierre deun conjunto de dependencias funcionales y multivaloradas. Dependencias multivaloradastriviales. Reglas de inferencia. Derivacion de dependencias multivaloradas y funcionales.Teorema de consistencia y completitud. Condicion para que una dependencia funcionalpueda aparecer en el cierre de un conjunto de dependencias. Bases para una familia deconjuntos de atributos. Bases mınimas. Unicidad de bases mınimas. Bases de dependencias.Chequeo de si una dependencia esta en el cierre de un conjunto de dependencias basado enel uso de bases de dependencias. Descomposiciones con reunion sin perdida con respectoa un conjunto de dependencias. Criterio para que una descomposicion sea de reunion sinperdida. Restriccion de un conjunto de dependencias a un esquema. Preservacion de lasdependencias. Cuarta forma normal. Algoritmo de normalizacion en 4FN.

Objetivos de la unidad

• Saber construir esquemas universales a partir de enunciados de problemas.

• Dado un problema real y un esquema universal obtener las dependencias multivalo-radas.

• Dada una tabla de relacion poder ver que dependencias multivaloradas se cumplen.

• Poder probar que las reglas dadas para las dependencias multivaloradas y funcionalesson correctas usando la definicion de dependencia multivalorada.

• Probar reglas a partir de reglas dadas en clase o buscar contraejemplos para demostrarsu falsedad.

• Dado un conjunto de dependencias funcionales o multivaloradas de un esquema derelacion, poder determinar si un conjunto de atributos es o no una superclave delesquema de relacion.

• Poder determinar si una descomposicion dada es de reunion sin perdida o sino encon-trar un contraejemplo.

1

Page 2: dependencias multivaloradas en 4FN - objetivos

• Poder calcular bases de dependencias de un conjunto de atributos y un conjunto dedependencias.

• Poder chequear si una dependencia multivalorada o funcional esta en el cierre de unconjunto de dependencias.

• Dado un conjunto de dependencias funcionales y multivaloradas chequear si una de-scomposicion de un esquema relacional esta en 4FN.

• Encontrar violaciones a la 4FN y hallar descomposiciones en esa forma normal.

• Poder hacer razonamientos aplicando los conceptos de esta unidad.

Bibliografıa

Capıtulo 7 del libro de Silberschatz (cuarta edicion).Apunte sobre dependencias multivaloradas y cuarta forma normal.Ejemplo de normalizacion en 4FN para un sistema de bibliotecas.

2