Taller No. 4

TALLER No. 4

Con los Anteriores Axiomas de Armstrong, realice cuatro ejemplos de cada uno, teniendo como base las Tabla_Paciente y Tabla_Médico realizada en Access. FECHA DE ENTREGA: 8 DE JUNIO DE 2009.

Una dependencia funcional es una relación entre atributos de una misma relación(tabla)
Cada dependencia funcional es una clase especial de regla de integridad y representa una relación de uno a muchos.
Las dependencias funcionales verifican una serie de propiedades denominadas axiomas de Armstrong:


· Reflexividad. x → y, ENTONCES

Ident_Paciente → Nombre
Nombre → Sexo
Dirección → Barrio
Ident_Medico → Especialidad


· Aumentatividad. Si x → y entonces x+z → y.

Dirección + Teléfono → Nombre
Ident_Paciente + Dirección → Nombre
Cod_Medico + Ident_Medico → Nombre
Nombre + Edad → Sexo


· Proyectividad. Si x → y+z entonces x → y.

Ident_Paciente → Nombre + Dirección
Ident_Medico → Cod_Medico + Especialidad
Cod_Medico → Nombre + Salario
Dirección → Teléfono + Nombre


. Aditividad. Si x → y y z → w entonces x+z → y+w.

Cod_Medico + Especialidad → Nombre + Teléfono
Ident_Medico + Nombre → Especialidad + Sexo
Ident_Paciente + Nombre → Teléfono + Dirección
Nombre + Dirección → Teléfono + Sexo



· Transitividad o enlace de dependencias funcionales. Si x → y e y → z entonces x → z.

Nombre → Teléfono Teléfono → Dirección Nombre → Direccion
Codigo → Nombre Nombre → Sexo Codigo → Sexo
Cod_Medico → Ident_Medico Ident_Medico →Nombre Cod_Medico → Nombre
Especialidad → Nombre Nombre → Salario Especialidad → Salario