Related
Verifica rispetto delle dipendenze funzionali
Algoritmo di Verifica
Possiamo utilizzare questo algoritmo per verificare che la decomposizione rispetta le dipendenze funzionali della schema relazionare originario.
- Input:
- Output:
Dimostrazione