Prima di procedere con la rappresentazione formale della soluzione da noi proposta, è necessario richiamare la notazione ed il vocabolario utilizzati.
D'ora in avanti utilizzeremo la notazione standard introdotta in [Mai83], dove le lettere maiuscole a partire dall'inizio dell'alfabeto denotano singoli attributi, mentre quelle a partire dalla fine denotano insiemi. denota l'equivalenza di insiemi di dipendenze funzionali (
) ed
è la chiusura delle
in
.