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