Ms Formas Normales

Normalizacin Avanzada del Modelo Relacional

Prof. Dr. Antonio Mosquera Gonzlez

Las relaciones en 3FN estn 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 ms avanzadas para identificar una serie de problemas relativamente raros que afectan a las relaciones y que, si no se corrigen, pueden dar como resultado una redundancia de datos indeseable

Bases de Datos Ingeniera Tcnica en Informtica de Sistemas Ingenier T Inform

Prof. Dr. Antonio Mosquera Gonzlez

Normalizacin Avanzada del Modelo Relacional Normalizaci

ndice
Dependencias Funcionales Forma Normal de Boyce-Codd Cuarta Forma Normal Quinta Forma Normal

Dependencias Funcionales
Normalizacin Avanzada del Modelo Relacional Normalizaci Bases de Datos Ingeniera Tcnica en Informtica de Sistemas Ingenier T Inform

Prof. Dr. Antonio Mosquera Gonzlez

Normalizacin Avanzada del Modelo Relacional Normalizaci

Prof. Dr. Antonio Mosquera Gonzlez

Dependencia Funcional
Las dependencias funcionales describen la relacin existente entre atributos de una relacin Por ejemplo, si A y B son atributos de la relacin 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 ms atributos La dependencia funcional es una propiedad de la semntica de los atributos de una relacin
Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales tiles

An con la restriccin de dependencias funcionales uno a uno que sean completas, el conjunto de todas las dependencias funcionales para una relacin dada puede seguir teniendo un gran tamao Tcnica que permita reducir el conjunto de dependencias funcionales a un tamao manejable Hay dependencias funcionales que pueden inferirse a partir de otras dependencias funcionales Cmo se puede identificar cules son las dependencias funcionales tiles dentro de una relacin?
5
Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

Dependencias Funcionales

Reg. Inferencia y Conj. Mnimo M

La tarea de especificar todas las dependencias funcionales posibles en los proyectos reales de bases de datos suele ser muy 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 relacin Y luego obtener un conjunto mnimo de dependencias funcionales que pueda representar el conjunto completo

Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

Axiomas de Armstrong
Sean A, B y C subconjuntos de los atributos de la relacin R Reflexividad: Si B es un subconjunto de A, entonces A Aumentacin: 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 relacin R Autodeterminacin: A Descomposicin: Si A Unin: Si A ByA Composicin: 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 ninguna dependencia funcional que no sea derivable a partir de X) Pueden usarse para calcular X+
Prof. Dr. Antonio Mosquera Gonzlez

D, entonces A,C

Dependencias Funcionales

Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

10

Anlisis An
El axioma de la reflexividad y la regla de autodeterminacin indican que un conjunto de atributos siempre se determina a s mismo y a cualquiera de sus subconjuntos; Puesto que estas reglas generan dependencias funcionales que siempre son ciertas, dichas dependencias son triviales y generalmente no resultan ni interesantes ni tiles El axioma de aumentacin indica que si se aade el mismo conjunto de atributos al lado izquierdo y al lado derecho de una dependencia, se obtiene otra dependencia vlida El axioma de transitividad establece que las dependencias funcionales son transitivas

Anlisis An
La regla de descomposicin indica que se puede eliminar atributos del lado derecho de una dependencia; Aplicando esta regla repetidamente de puede descomponer la dependencia funcional A B,C,D en el conjunto de dependencias A B, A CyA D La regla de unin indica que se puede hacer la operacin inversa de la descomposicin; Se puede combinar un conjunto de dependencias A B, A CyA D en una nica dependencia funcional A B,C,D La regla de composicin es ms general que la regla de unin e indica que se pueden combinar conjuntos de dependencias no solapadas con el fin de formar otra dependencia vlida
11
Prof. Dr. Antonio Mosquera Gonzlez

Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

Dependencias Funcionales

12

Conjunto F
Para identificar el conjunto de dependencias funcionales F de una relacin 1. Se comienza identificando las dependencias que puedan deducirse a partir de la semntica de los atributos 2. Se aplican los axiomas de Armstrong para inferir dependencias funcionales que tambin sean ciertas para esa relacin (calculando el cierre de A bajo F, A+, para cada conjunto de atributos A que aparezca en el determinante de una dependencia funcional)

Conjunto Mnimo M
Un conjunto de dependencias funcionales Y est cubierto por un conjunto de dependencias funcionales X, si toda dependencia funcional de Y est tambin en X+, es decir, si toda dependencia funcional contenida en Y puede inferirse a partir de X

Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

13

Prof. Dr. Antonio Mosquera Gonzlez

Dependencias Funcionales

14

Conjunto Mnimo M
Un conjunto de dependencias funcionales X es mnimo si satisface que: Toda dependencia contenida en X tiene un nico atributo en su lado derecho No se puede sustituir ninguna dependencia A B de X por la dependencia C B, donde C es un subconjunto de A, y continuar obteniendo un conjunto de dependencias equivalente a X No se puede eliminar ninguna dependencia de X y seguir teniendo un conjunto de dependencias equivalente a X Puede haber varios recubrimientos mnimos
Prof. Dr. Antonio Mosquera Gonzlez

Forma Normal de Boyce-Codd

Normalizacin Avanzada del Modelo Relacional Normalizaci Bases de Datos Ingeniera Tcnica en Informtica de Sistemas Ingenier T Inform

Dependencias Funcionales

15

Prof. Dr. Antonio Mosquera Gonzlez

Definicin Definici
Forma Normal de Boyce-Codd (FNBC): Una relacin est en Forma Normal de Boyce-Codd, si y slo si todo determinante es una clave candidata

Violacin de FNBC Violaci

La violacin de la Forma Normal de Boyce-Codd es bastante infrecuente

Para transformar una relacin a forma Normal de Boyce-Codd se elimina la dependencia funcional problemtica creando un nueva relacin a la que se llevan los atributos de dicha dependencia y eliminando los atributos dependientes de la original

Slo puede aparecer cuando: La relacin contenga dos (o ms) claves candidatas compuestas Las claves candidatas se solapen, es decir, tengan al menos un atributo en comn

Prof. Dr. Antonio Mosquera Gonzlez

Forma Normal de Boyce-Codd Boyce-

17

Prof. Dr. Antonio Mosquera Gonzlez

Forma Normal de Boyce-Codd Boyce-

18

3FN vs FNBC
La diferencia entre 3FN y FNBC es que para una dependencia funcional A B, 3FN permite que exista esta dependencia en una relacin si B es un atributo de clave candidata y A no es una clave candidata, mientras que FNBC exige que A sea una clave candidata

3FN vs FNBC
Partiendo de una relacin que no est en FNBC, siempre se puede descomponer para obtener la forma normal de BC Puede que no siempre sea deseable transformar una relacin a FNBC; por ejemplo, si hay alguna dependencia funcional que no sea preservada al realizar la descomposicin (es decir, si el determinante y los atributos que dependen funcionalmente de l quedan ubicados en relaciones distintas) Perder una dependencia implica perder semntica; Cuando esto sucede, puede que sea ms adecuado detenerse en 3FN, que siempre preserva las dependencias

Prof. Dr. Antonio Mosquera Gonzlez

Forma Normal de Boyce-Codd Boyce-

19

Prof. Dr. Antonio Mosquera Gonzlez

Forma Normal de Boyce-Codd Boyce-

20

Dependencia Multivaluada

Cuarta Forma Normal

Normalizacin Avanzada del Modelo Relacional Normalizaci Bases de Datos Ingeniera Tcnica en Informtica de Sistemas Ingenier T Inform

Una dependencia multivaluada representa una dependencia entre atributos (por ejemplo A, B y C) en una relacin de modo que para cada valor de A hay un conjunto de valores de B y un conjunto de valores de C; Sin embargo, los conjuntos de valores A B C de B y C son independientes entre si C1 B1 A1 A >B
A1 A1 A1 B2 B1 B2 C1 C2 C2

La posible existencia de dependencias multivaluadas en una relacin se debe a la primera forma normal (por ejemplo, si hay dos atributos multivaluados es preciso desarrollar todas las combinaciones de un valor de uno con cada valor del otro)
Prof. Dr. Antonio Mosquera Gonzlez

Prof. Dr. Antonio Mosquera Gonzlez

Cuarta Forma Normal

22

Definicin Definici
Cuarta Forma Normal (4FN): Una relacin que est en forma normal de Boyce-Codd y no contiene dependencias multivaluadas no triviales Una dependencia multivaluada A > B es trivial si B es un subconjunto de A o si A U B = R
A A1 A1 A1 A1 B B1 B2 B1 B2 C C1 C1 C2 C2 A A1 A1 B B1 B2 A A1 A1 C C1 C2

Quinta Forma Normal

Normalizacin Avanzada del Modelo Relacional Normalizaci Bases de Datos Ingeniera Tcnica en Informtica de Sistemas Ingenier T Inform

Prof. Dr. Antonio Mosquera Gonzlez

Cuarta Forma Normal

23

Prof. Dr. Antonio Mosquera Gonzlez

Dependencia de Combinacin Combinaci

Una dependencia de combinacin es un tipo de dependencia en la que, por ejemplo, para una relacin R compuesta por una serie de subconjuntos de los atributos de R denominados A, B, , Z, la relacin R exhibir una dependencia de combinacin si y slo si todo valor legal de R es igual a la combinacin de sus proyecciones sobre A, B, , Z

Definicin Definici
Quinta Forma Normal (5FN): Una relacin que no tiene dependencias de combinacin
A A1 A1 A2
A A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A1 A2 A2 A2 A2 A2 A2 A2 A2 A2

B B1 B2 B1
B B1 B1 B1 B1 B1 B1 B1 B1 B1 B2 B2 B2 B2 B2 B2 B2 B2 B2 B1 B1 B1 B1 B1 B1 B1 B1 B1

A A1 A1 A2
A A1 A1 A1 A1 A1 A1 A2 A2 A2 A1 A1 A1 A1 A1 A1 A2 A2 A2 A1 A1 A1 A1 A1 A1 A2 A2 A2

C C1 C2 C2
C C1 C1 C1 C2 C2 C2 C2 C2 C2 C1 C1 C1 C2 C2 C2 C2 C2 C2 C1 C1 C1 C2 C2 C2 C2 C2 C2

B B1 B2 B1
B B1 B2 B1 B1 B2 B1 B1 B2 B1 B1 B2 B1 B1 B2 B1 B1 B2 B1 B1 B2 B1 B1 B2 B1 B1 B2 B1

C C1 C2 C2
C C1 C2 C2 C1 C2 C2 C1 C2 C2 C1 C2 C2 C1 C2 C2 C1 C2 C2 C1 C2 C2 C1 C2 C2 C1 C2 C2

A A1 A1 A2

B B1 B2 B1

C C1 C2 C2

A A1 A1 A1 A2

B B1 B1 B2 B1

C C1 C2 C2 C2

Slo para descomposiciones en ms de dos relaciones

Prof. Dr. Antonio Mosquera Gonzlez

Quinta Forma Normal

25

Prof. Dr. Antonio Mosquera Gonzlez

Quinta Forma Normal

26