No es suficiente considerar un conjunto dado de dependencias funcionales. Además necesitamos considerar todas las dependencias funcionales que se cumplen. Veremos que, dado un conjunto F de dependencias funcionales, podemos probar que se cumplen otras ciertas dependencias funcionales. Se dice que F implica lógicamente dichas dependencias funcionales.
Supóngase que nos dan un esquema de relaciones R = (A, B, C, G, H, I) y el conjunto de dependencias funcionales
A->->B
A->->C
CG->->H
CG->->I
B->->H
La dependencia funcional A->->H. Se implica lógicamente. Es decir, podemos demostrar que siempre que se cumpla el conjunto dado de dependencias, A->->H también debe cumplirse.