dependencias multivaloradas en 4FN - objetivos
2
Bases de Datos - 2006 Dependencias multivaloradas y Cuarta Forma Normal Programa y Objetivos de la Unidad Conceptos necesarios previos a la unidad Esquemas y relaciones. Notaci´on relacional. Proyecci´ on y reuni´on natural. Dependencias funcionales. Axiomas de Armstrong. Cierre de un conjunto de atributos. Concepto de superclave. Forma normal de Boyce-Codd. Contenidos de la unidad Dependencias Multivaloradas. Implicaci´on l´ogica. Cierre de un conjunto de dependencias funcionales y multivaloradas. Dependencias multivaloradas triviales. Reglas de inferencia. Derivaci´ on de dependencias multivaloradas y funcionales. Teorema de consistencia y completitud. Condici´on para que una dependencia funcional pueda aparecer en el cierre de un conjunto de dependencias. Bases para una familia de conjuntos de atributos. Bases m´ ınimas. Unicidad de bases m´ ınimas. Bases de dependencias. Chequeo de si una dependencia est´a en el cierre de un conjunto de dependencias basado en el uso de bases de dependencias. Descomposiciones con reuni´on sin p´ erdida con respecto a un conjunto de dependencias. Criterio para que una descomposici´on sea de reuni´on sin p´ erdida. Restricci´on de un conjunto de dependencias a un esquema. Preservaci´ on de las dependencias. Cuarta forma normal. Algoritmo de normalizaci´on 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 relaci´on poder ver qu´ e dependencias multivaloradas se cumplen. • Poder probar que las reglas dadas para las dependencias multivaloradas y funcionales son correctas usando la definici´on de dependencia multivalorada. • Probar reglas a partir de reglas dadas en clase o buscar contraejemplos para demostrar su falsedad. • Dado un conjunto de dependencias funcionales o multivaloradas de un esquema de relaci´on, poder determinar si un conjunto de atributos es o no una superclave del esquema de relaci´on. • Poder determinar si una descomposici´on dada es de reuni´on sin p´ erdida o sino encon- trar un contraejemplo. 1
-
Upload
carlos-alejandro-bottiglieri-ejmalotidis -
Category
Documents
-
view
32 -
download
0
description
Normalizacion de bd
Transcript of 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
• 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
