Dipendenza funzionale
Da Wikipedia, l'enciclopedia libera.
Una dipendenza funzionale è un particolare vincolo di integrità per il modello relazionale che descrive legami di tipo funzionale tra gli attributi di una relazione.
Definizione: data una relazione r su uno schema R(X) e due sottoinsiemi di attributi non vuoti Y e Z di X, diremo che esiste su r una dipendenza funzionale tra Y e Z se per ogni coppia di tuple t1 e t2 di r aventi gli stessi valori sugli attributi Y, t1 e t2 hanno gli stessi valori anche sugli attributi Z.
Una dipendenza funzionale tra gli attributi Y e Z viene generalmente indicata con la notazione 
e come gli altri vincoli di integrità viene associata ad uno schema: una relazione su quello schema verrà considerata corretta se soddisfa tale dipendenza funzionale.
Se prendiamo una chiave (database) K di una relazione r si può facilmente verificare che esiste una dipendenza funzionale tra K e un qualunque altro attributo o insieme di attributi dello schema di r. Questo perché per definizione stessa di vincolo di chiave, non possono esistere due tuple con gli stessi valori su K e quindi una dipendenza funzionale che ha K al primo membro sarà sempre soddisfatta. Si fa presente che non è detto però che, dato un attributo di una relazione, questo dipenda completamente da tutta la chiave primaria della relazione stessa: è possibile che un attributo (non appartenente all'insieme degli attributi chiave primaria) dipenda in modo completo anche solo da un sottoinsieme della chiave primaria.
