Documentos de Académico
Documentos de Profesional
Documentos de Cultura
4)
4.1) Aplicando las reglas de Armstrong se tendr que:
a. { X Y, Z Y } => XZ Y
Se cumple
X Y => ZX YZ (Aumento)
ZX YZ => ZX Y (Descomposicin)
b. { XZ Y } => X Y
No se cumple. Esta relacin satisface XZ Y, pero no satisface X Y.
c. { XZ Y, X Z } => X Y
Se cumple
X X (Reflexiva)
{ X Z , X X } => X XZ (Unin)
{ X XZ , XZ Y } => X Y (Transitividad)
d. { Z W , X Y } => XZ YW.
Se cumple
X Y => XZ YZ (Aumento)
Z W => ZY WY (Aumento)
{ XZ YZ , YZ WY } => XZ YW (Transitividad)
e. { XY Z, Z X } => Z Y
No se cumple
Esta relacin satisface XY Z y Z X, pero no satisface Z Y.
f. { X Y, Y Z } => X YZ
Se cumple
{ X Y, Y Z } => X Z (Transitividad)
{ X Z , X Y } => X YZ (Unin)
g. { X Y, W Z, W (incluye a ) Y } => X Z
Se cumple
Y W (Reflexiva)
{ X Y ,Y W, W Z } => X Z (Transitividad dos veces)
h. { XY Z, Y W } => XW Z
No se cumple.
Esta relacin satisface XY Z y Y W pero no satisface XW Z.
4.2) R(A,B,C,D,E,G,H,I)
F = { AB CH, CD B, B GAE, H DI }
a. {A} + = {A}
AA
b. {B} + = { B, G, A. E, C, H, D. I }
BB
BG
BA
BE
BC
BH
BD
BI
c. {CD} + = { C, D, B, G, A, E, H, I }
CD B
BB
BG
BA
BE
BC
BH
BD
BI
d. {BEI} + = { B, E, I, G, A, C, H, D }
EE
BB
BG
BA
BC
BH
BD
II
e. {BE} + = { B, E, G, A, C, H, D, I }
EE
BB
BG
BA
BC
BH
BD
BI
f. {HA} + = { H, A, D, I }
HD
HI
HH
AA
g. {ABH} + = { A, B, H, C, D, I, G , E }
BB
BG
BA
BE
BC
BH
BD
BI
4.3) Sea F = { AB C, C D, B C, C E, HB D }.
Se van a calcular los X +F correspondientes a cada dependencia funcional X
Y
F, utilizando las mismas tcnicas que en Ej. anterior. Se concluir que esta
dependencia funcional
Significa que no pertenece al conjunto o que no es un elemento del
conjunto
Significa que pertenece al conjunto o que es un elemento del conjunto
X Y F + en caso de que Y X + .
a. (B) + = { B, C, D, E }, D B + (B D) F + . Esta en forma normal.
b. (E) + = { E }, D E + (E D) F + .No esta en forma normal.
c. (C) + = { C, D, E }, D,E C + (C DE) F + . Esta en forma normal.
d. (A) + = { A }, C A + (A C) F + .