Professional Documents
Culture Documents
Unidad 6: Normalizacin
Anglica Caro
Anglica Caro
Anglica Caro
Dependencias Funcionales
Anglica Caro
DF d
Dependencias Funcionales
Axiomas de Armstrong :
Anglica Caro
Dependencias Funcionales
Ejemplos:
1.
Reflexividad.
{codLibro, titulo} codLibro,
ya que codLibro {codLibro, titulo}
2. Aumentatividad.
Si, codLibro titulo
entonces {codLibro, editorial, ao} {titulo, editorial}
ya que editorial {editorial, ao}
3. Transitividad.
Si codLibro editorial y editorial ao
entonces codLibro ao
Anglica Caro
Dependencias Funcionales
Ejemplos:
4.
5.
6.
Anglica Caro
Proyectividad.
Si codLibro {titulo, editorial},
entonces codLibro editorial
ya que editorial {titulo, editorial}
Union.
Si codLibro editorial y codLibro titulo,
entonces codLibro {editorial, titulo}
Pseudotransitividad.
Si codLibro titulo y {titulo, numSocio} fechaPrestamo,
entonces {codLibro, numSocio} fechaPrestamo
Dependencias Funcionales
Ejemplos:
Anglica Caro
A B (dada)
AC ABC (aumentatividad de la anterior por AC)
C D (dada)
D E (dada)
C E (transitividad de 3 y 4)
C DE (unin de 3 y 5)
ABC ABCDE (aumentatividad de 6 por ABC)
AC ABCDE (transitividad de 2 y 7)
Ingeniera Civil Informtica UBB 2015
Dependencias Funcionales
Ejemplos:
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
ABCDE
C ABCDE
A
Anglica Caro
Dependencias Funcionales
Atributos principales:
Atributos no principales:
Anglica Caro
Dependencias Funcionales
Dependencias Funcionales
Cierre de un descriptor
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Ejemplo 1:
Anglica Caro
20/99
Dependencias Funcionales
Ejemplo 2:
Dada la relacin R (CE, NE, P, G, CP, C, DF)
con
DF=CE NE, NE CE, P CE, G P, (CP, P) G,
CE C, P C
hallar el cierre del descriptor (CP,P)
CP,P CP, P
iteracin 0
CP,P CP, P, CE, G, C
iteracin 1
CP,P CP, P, CE, G, C, NE
iteracin 2
Luego el cierre transitivo del descriptor es:
(CP, P)+ = CP, P, CE, G, C, NE
Anglica Caro
21/99
Dependencias Funcionales
Anglica Caro
Ayuda a:
Determinar si una dependencia X Y est
implicada por un conjunto de dependencias.
Obtener las claves de un esquema y saber si un
descriptor es clave.
Es la base para calcular la equivalencia de 2
conjuntos de dependencias.
Calcular la cobertura minimal de un conjunto de
dependencias.
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Ejemplo:
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Ejemplo:
Anglica Caro
Dependencias Funcionales
Ejemplo:
Anglica Caro
Dependencias Funcionales
Solucin:
DF1 :
DF2 :
Anglica Caro
Dependencias Funcionales
Recubrimiento minimal:
Anglica Caro
Dependencias Funcionales
Recubrimiento minimal:
______
a
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Los conjuntos
Anglica Caro
Dependencias Funcionales
Se tiene que:
Anglica Caro
Dependencias Funcionales
Dependencias Funcionales
2.
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Sea la relacin
PRESTAMOS(numSocio, nombreSocio, codLibro,
fechaPrestamo, editorial, pais)
Anglica Caro
Dependencias Funcionales
Solucin:
Anglica Caro
{numSocio, codLibro,nombreSocio,editorial,
pais,fechaPrestamo}
Dependencias Funcionales
Ejemplo 2:
Dado el esquema de relacin R(AT, DF)
Con AT={A,B,C,D,E,F} y DF={AB;BA;CE;EF;(A,C)D}
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Anglica Caro
Dependencias Funcionales
Clculo Claves candidatas, Ejemplo 1:
Sea el esquema de relacin:
R({A,B,C,D,E,F,G,H,I,J}; {ABC, CAB, ED, DE, EF,
FE, ABD G, CFH})
Paso 1
Paso 2
Anglica Caro
Dependencias Funcionales
Paso 3
Paso 5
Paso 6
Anglica Caro
Dependencias Funcionales
Clculo Claves candidatas, Ejemplo 2:
Sea el esquema de relacin:
R({A,B,C,D,E,F}; {ABC, DEF, FD})
Paso 1
Paso 2
Rsie({A,B,C,D,E,F};
Paso 3
Anglica Caro
Dependencias Funcionales
Clculo Claves candidatas, Ejemplo 2:
Paso 4
Paso 5
Paso 6