10/31/2017

Dependencias Funcionales
Cierre Canónico

Dependencias Funcionales
Cierre Canónico

• Base Canónica
• Cobertura Canónica
• Cierre Mínimo
• Cierre Irreductible
• …

Cierre Canónico

R (A, B, C, D)

B A
AD BC
C ABD
¿ Redundancia ?
¿ Información Innecesaria ?
Conjunto Mínimo de atributos

1
 10/31/2017

Cierre Canónico

αβ ⟶ 𝛾 α⟶𝛾
β⟶𝛾

Cierre Canónico

R (A, B, C, D)

B A
AD BC
C ABD

Cierre Canónico

R (A, B, C, D)

B A

B A AD B
AD C
AD BC
C ABD C A
C B
C D

2
 10/31/2017

Cierre Canónico

R (A, B, C, D)
+
B A B = BA Diferentes
+
AD B B =B Pérdida
AD C
B A
C A
C B Esencial
C D

Cierre Canónico

R (A, B, C, D)
+
B A (AD) = ADBC
+ Iguales
AD B (AD) = ADCB
AD C
C A AD B
C B No Esencial
C D Se puede Eliminar

Cierre Canónico

R (A, B, C, D)
+
B A (AD) = ADCB
AD B
+
(AD) = AD Diferentes
AD C
C A AD C
C B Esencial
C D

3
 10/31/2017

Cierre Canónico

R (A, B, C, D)
+
B A C = CABD
AD B
+
C = CBDA Iguales
AD C
C A C A
C B No Esencial
C D

Cierre Canónico

R (A, B, C, D)
+
B A C = CBDA
AD B
+
C = CD Diferentes
AD C
C A C B
C B Esencial
C D

Cierre Canónico

R (A, B, C, D)
+
B A C = CDBA
AD B
+
C = CBA Diferentes
AD C
C A C D
C B Esencial
C D

4
 10/31/2017

Cierre Canónico

R (A, B, C, D)

B A B A B A
AD B
AD C AD C AD C
C A
C B C B C BD
C D C D

Cierre Canónico

R (A, B, C, D)

B A B A
AD BC AD C
C ABD C BD

Cierre Canónico

R (A, B, C, D)

B A
AD C
C BD

5
 10/31/2017

Cierre Canónico

R (A, B, C, D)

α β
B A AD C
AD C α −A + ⊇ β ? +
D =D
C BD +
α −D + ⊇ β ? A =A

Cierre Canónico

R (A, B, C, D)

B A B A
AD BC AD C
C ABD C BD

Cierre Canónico

Cierre Canónico

R (A, B, C, D)

B A BC D
AD C +
B = BA
C BD
+
BC D C = CBDA

6
 10/31/2017

Cierre Canónico

R (A, B, C, D)

B A BC D
AD C +
B = BA
C BD
+
C D C = CBDA
Redundante