Una dipendenza FD è semplice se
. Dato un insieme
di dipendenze funzionali semplici su
, diciamo che
è Aciclico (rispettivamente ciclico) se il grafo orientato
(cioè il grafo che contiene gli attributi in
come nodi e un arco
) è aciclico (rispettivamente ciclico).
Un insieme di dipendenze funzionali è canonico se [Mai83]: 4.1
Per ciascun insieme di dipendenze funzionali esiste almeno una Copertura Canonica, cioè un insieme canonico
di
tale che
[Mai83].