ricoprimento minimale

Gentilmente offerto da Kevin Speranza.

dato il seguente schema di attributi e dipendenze funzionali

calcolare il ricoprimento minimale

1. devo avere solo dipendenze del tipo con singolo attributo.

2. prendendo le dipendenze funzionali con almeno 2 attributi a sinistra, si ipotizza di ometterne uno per dimostrare che la chiusura della nuova dipendenza è uguale a quella iniziale, meno l’attributo omesso.
   ipotizzo di omettere la in , calcolo

potrò scrivere quindi .
applico lo stesso procedimento per tutte le dipendenze con 2 o più attributi ed ottengo:

3. prendere l’insieme delle dipendenze funzionali e per ognuna dimostrare di poter implicare il secondo membro ipotizzando che la dipendenza attuale non esista
   ometto e calcolo

uso lo stesso approccio per le altre dipendenze e ottengo:

attensionplis
al fine di non perdere tempo, controllare solo le dipendenze in cui la lettera a sinistra o a destra è ripetuta più di una volta.