BASE DE

DATOS

Unidad II

DISEO DE UNA BASE DE DATOS

REGLAS DE INFERENCIA
AXIOMAS DE ARMSTRONG

Sea R un esquema de relacin, F un conjunto de

dependencias funcionales y X, Y,Z R

Refexividad: Si Y X, entonces X Y .
Aumentacin: Si X Y entonces XZ Y Z.
Transitividad: Si X Y y Y Z entonces X Z.

Ejemplos:
Sea R = {RUT, Categora, Sueldo} y F = {RUT
Categora, Categora Sueldo}. Veamos que F
RUT Sueldo:
1. RUT Categora (dada)
2. Categora Sueldo (dada)
3. RUT Sueldo (por transitividad de 1 y 2)

Ejemplo.
Sea R = {A,B,C,D} y F ={ A C, B D},
Demostraremos que F AB ABCD:
1. A C (dada)
2. AB ABC (por aumentacin de 1 con AB)
3. B D (dada)
4. ABC ABCD (por aumentacin de 3 con BC)
5. AB ABCD (por transitividad entre 2 y 4)

Sea A BC y B D. Entonces, A ABCD.

Prueba:
A BCA U A BC U AA ABC
(aumentacin).
B DB U BD U BB BD (aumentacin).
B BDB U AC BD U ACABC ABCD
(aumentacin).
A ABC ^ ABC ABCDA ABCD
(transitividad).

Regla de la unin: Si X Y y X Z , entonces

X Y Z.
Regla de pseudotransitividad: Si X Y y WY
Z entonces WX Z.
Regla de descomposicin: Si X Y y Z Y
entonces X Z.
Composicin: Si A B y C D, entonces AC
BD.

EJERCICIOS DEPENDENCIA FUNCIONAL

Sea R({A,B,C,D,E},{A B, C D, D E}) demostrar que AC ABCDE

Sea L={ABC,BD, CDE,CDGH, GA } demostrar que ABE y
BGC
Sea P={AD,ABE, BIE,CDI, EC } demostrar que AEI, y que
pertenece a L+
Sea M={HIJ,IK, JKL,JLGH, GH } demostrar que HIL y
IGJ
Sea R={DA,CBE, AIB,ACI, EC } demostrar que AEI, y que
pertenece a L+
Sea R={HIJ,JAGH, JKA,IK, GH } demostrar que HIA ,
JAK, IJH y IGJ, determinar si pertenece al cierre o no a L+