chiusura di un insieme di dipendenze funzionali

Chiamiamo $F^{+}$ la chiusura di $F$ l’insieme di tutte le dipendenze funzionali soddisfatte da un’istanza, anche quelle banali o quelle che emergono implicitamente dalle dipendenze funzionali definite esplicitamente.

Ovviamente $F\subseteq F^{+}$.

Calcolare $F^{+}$ è molto difficile, però si può dimostrare che questo insieme coincide con la chiusura di Armstrong ($F^A$), più facile da calcolare.