Cierre de un conjunto de dependencias funcionales

Publicado en Informática Etiquetado con

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.