Formas normales
Normalización Avanzada del Modelo Relacional
Prof. Dr. Antonio Mosquera González
Las relaciones en 3FN están normalmente lo suficientemente bien estructuradas como para evitar los problemas asociados a la redundancia de datos
Sin embargo, se han creado una serie de formas normales más avanzadas para identificar una serie de problemas relativamente raros que afectan alas relaciones y que, si no se corrigen, pueden dar como resultado una redundancia de datos indeseable
Bases de Datos Ingeniería Técnica en Informática de Sistemas Ingenierí Té Informá
Prof. Dr. Antonio Mosquera González
Normalización Avanzada del Modelo Relacional Normalizació
2
Índice
Dependencias Funcionales Forma Normal de Boyce-Codd Cuarta Forma Normal Quinta Forma NormalDependencias Funcionales
Normalización Avanzada del Modelo Relacional Normalizació Bases de Datos Ingeniería Técnica en Informática de Sistemas Ingenierí Té Informá
Prof. Dr. Antonio Mosquera González
Normalización Avanzada del Modelo Relacional Normalizació
3
Prof. Dr. Antonio Mosquera González
Dependencia Funcional
Las dependencias funcionales describen la relación existenteentre atributos de una relación Por ejemplo, si A y B son atributos de la relación R, B será funcionalmente dependiente de A o A determina funcionalmente a B (lo que se denota A B) si cada valor de A está asociado con exactamente un valor de B A y B pueden consistir cada uno de ellos de uno o más atributos La dependencia funcional es una propiedad de la semántica de los atributos de una relaciónProf. Dr. Antonio Mosquera González
Dependencias Funcionales Útiles
Aún con la restricción de dependencias funcionales uno a uno que sean completas, el conjunto de todas las dependencias funcionales para una relación dada puede seguir teniendo un gran tamaño Técnica que permita reducir el conjunto de dependencias funcionales a un tamaño manejable Hay dependencias funcionales que pueden inferirsea partir de otras dependencias funcionales ¿Cómo se puede identificar cuáles son las dependencias funcionales útiles dentro de una relación?
5
Prof. Dr. Antonio Mosquera González
Dependencias Funcionales
Dependencias Funcionales
6
Reg. Inferencia y Conj. Mínimo Mí
La tarea de especificar todas las dependencias funcionales posibles en los proyectos reales de bases de datos suele sermuy a menudo imposible de abordar
Cierre
El conjunto de todas las dependencias funcionales que pueden derivarse a partir de un conjunto dado de dependencias funcionales X se denomina cierre de X, lo que se escribe como X+
Utilizar reglas de inferencia para identificar el conjunto completo de dependencias funcionales de una relación Y luego obtener un conjunto mínimo de dependenciasfuncionales que pueda representar el conjunto completo
Prof. Dr. Antonio Mosquera González
Dependencias Funcionales
7
Prof. Dr. Antonio Mosquera González
Dependencias Funcionales
8
Axiomas de Armstrong
Sean A, B y C subconjuntos de los atributos de la relación R Reflexividad: Si B es un subconjunto de A, entonces A Aumentación: Si A Transitividad: Si A B, entonces A,C ByB B,C C C,entonces A B
Otras Reglas
Sean A, B, C y D subconjuntos de los atributos de la relación R Autodeterminación: A Descomposición: Si A Unión: Si A ByA Composición: Si A A B,C, entonces A C, entonces A ByC B,C B,D ByA C
Los axiomas de Armstrong son completos (todas las dependencias funcionales derivables de X pueden deducirse a partir de las reglas) y adecuados (no puede deducirse ningunadependencia funcional que no sea derivable a partir de X) Pueden usarse para calcular X+
Prof. Dr. Antonio Mosquera González
D, entonces A,C
Dependencias Funcionales
9
Prof. Dr. Antonio Mosquera González
Dependencias Funcionales
10
Análisis Aná
El axioma de la reflexividad y la regla de autodeterminación indican que un conjunto de atributos siempre se determina a sí mismo y a...
Regístrate para leer el documento completo.