La couverture minimale d’un ensemble de DFE est un sous-ensemble minimum des DFE permettant de générer toutes les autres DFE.
Synonymes : Famille génératrice
Tout ensemble de DFE (et donc tout ensemble de DF) admet au moins une couverture minimale (et en pratique souvent plusieurs).
L'ensemble F = {A→B, A→C, B→C, C→B} admet les deux couvertures minimales :
CM1 = {A→C, B→C, C→B} et CM2 = {A→B, B→C, C→B}