Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1de 12
Bases de Datos I - Clase # 11
Dependencia Funcional
Profesores: Ing. Larry Catarine, Ing. Kevin Vargas.
Concepto: DF
• Es la base del proceso de normalización.
• Representan una restricción que existe en el mundo real. • Restricciones que deben estar definidas en la base de datos. • Se desarrolla de forma netamente semántica. Términos principales
• Relación: representada con la letra R, es
variable que define la relación que existe R { A, B, C, D, E, F, G, H} entre todos los campos de una tabla.
• Determinante: representada con la letra
X, es la variable que define el subconjunto principal de la relación. • Dependiente: representada con la letra Y, es la variable que define el subconjunto secundario de la relación. • Subconjuntos: cada campo dentro de la relación. Tabla de ejemplo
R { A, B, C, D, E, F, G, H} Términos principales
Sea R una Variable de Relación y sean X e R { A, B, C, D, E, F, G, H}
Y subconjuntos cualesquiera del conjunto de atributos de R.
Entonces decimos que Y es “dependiente
funcionalmente” de X (o bien que X “determina funcionalmente” a Y) si y sólo si “en todo valor válido posible de R”, siempre que dos tuplas coincidan en su valor de X, también coincidirán en su valor de Y. Trivialidades
• Decimos que una DF es trivial cuando el dependiente es
un subconjunto del determinante.
• Las DF triviales las podemos eliminar por que no
aportan ningún tipo de información. Trivialidades
Si el determinante es una CC se la puede considerar trivial
ya que no aporta valor.
En base a esto podemos decir que si en una relación R,
existe una DF del tipo {A}→{A, B} como {A} no es una clave candidata de R entonces R involucrará cierta redundancia. Cierre del conjunto de DF’s Consiste en la reducción sucesiva de las DF existentes hasta obtener un conjunto de DF donde el dependiente sea un único atributo. Reglas de inferencia (Axiomas de Armstrong) • Permiten inferir nuevas DF. • Basadas en que A, B, C y D son subconjuntos de atributos de R. • Suponiendo que AB es la unión A y B Reglas de inferencia (Axiomas de Armstrong) Reflexividad: Sí B depende de A, entonces A → B Ampliación: Sí A → B, entonces AC → BC Transitividad: Si A → B y B → C, entonces A → C Autodeterminación: A → A Descomposición: Si A → BC, entonces A →B y A → C Unión: Si A → B y A → C, entonces A → BC Composición: Si A → B, C → D, entonces AC → BD Ejercicios
1. Dada R{A, B, C, D, E, F} y 2. Dada R{A, B, C, E, D, F} y las
las siguientes DF’s siguientes DF’s {A} → {B,C} {A} → {B,C} {B} → {E} {C,D} → {E} {C,D} → {E,F} {B} → {D} Probar que la DF {A,D} → F {E} → {A} existe en R. Probar que la DF {E} -> B Existe En R. Actividad Especial ¡¡¡Gracias por acompañarnos!!!