Dependencias Funcionales
¿Qué es una dependencia funcional?
Clasificación de dependencias funcionales
Cierre de un conjunto de atributos
¿Qué es una clave?
Cierre de un conjunto de dependencias funcionales
Dado un conjunto de dependencias funcionales, hay otras que se deducen como consecuencia de ellas.
Al conjunto inicial F completado con todas las dependencias que de él se deducen se denomina cierre y
se representa por F+.
Se puede calcular F+ a partir de F aplicando los axiomas de Amstrong:
si b C a, entonces a->b (reflexividad)
si a -> b, entonces a,c -> b (aumentación)
si a->b y b->c, entonces a->c (transitividad)
Procedimiento de cálculo de F+
F+=F
repetir
para cadadependencia funcional f en F+
aplicar las reglas de reflexividad y aumentación a f
añadir las dependencias funcionales resultantes a F+
para cadapar de dependencias funcionales f1 y f2 en F+
sif1 y f2 se pueden combiar por transitividad
entoncesañadir la dependencia funcional resultante a F+
hasta que F+no cambie
Recubrimiento canónico