Teoría de dependencias funcionales

Si se tiene un conjunto de dependencias funcionales, estas pueden implicar que existan otras que también se cumplan.

Sea F un conjunto de dependencias funcionales F+ es el conjunto cerrado de F que contiene a todas las dependencias funcionales que F implica lógicamente. Dado F podemos obtener F+; el grado de complejidad para obtener F+ varia en función del tamaño de F.

Ejemplo:

F={ NC->-> NOM, NC->-> CARR, CARR->-> ESP,…}
F+{ NC->-> ESP,…}