Dipendenza funzionale

Template:NN Una dipendenza funzionale è una proprietà emergente delle relazioni in una base di dati relazionale, descrivibile come un legame sistematico tra le istanze degli attributi compresi in una relazione.

Definizione

Data una relazione $r$ su uno schema relazionale $R(X)$ e due sottoinsiemi di attributi non vuoti $Y$ e $Z$ di $X$, si dice che esiste su $r$ una dipendenza funzionale tra $Y$ e $Z$ se per ogni coppia di tuple $t_1$ e $t_2$ di $r$ aventi gli stessi valori sugli attributi $Y$, $t_1$ e $t_2$ hanno gli stessi valori anche sugli attributi $Z$:

$\mathrm{\forall }{t}_1,t_2\in r,t_1[Y]=t_2[Y]\to t_1[Z]=t_2[Z]$

Verrà denotato con $⟨R(X),F⟩$ uno schema $R(X)$ in cui è definito un insieme F delle dipendenze funzionali. Un'istanza $r$ di $R(X)$ è detta istanza legale di $⟨R(X),F⟩$ quando essa soddisfa tutte le dipendenze funzionali di F.

Un'implicazione logica si ha quando, partendo da uno schema $⟨R(X),F⟩$ e una dipendenza funzionale $Y\to Z$, ogni istanza legale r di $⟨R(X),F⟩$ soddisfa anche $Y\to Z$, si dirà così che $F$ implica logicamente $Y\to Z$, indicata come $F\models Y\to Z$.

Esempio

Prendiamo come esempio uno studente universitario identificato con un ID, il quale sostiene degli esami e per ognuno di essi ottiene un voto, la dipendenza funzionale risulta essere:

$\{ID,ESAME\}\to VOTO$

Chiusura di un insieme di dipendenza funzionale

La chiusura è essenzialmente l'intero set di valori che possono essere determinati da un insieme di valori noti per un determinato rapporto con le sue dipendenze funzionali. Formalmente:

Dato un insieme F di dipendenze funzionali, di uno schema $⟨R(X),F⟩$, la sua chiusura $F^{+}$ è l'insieme delle dipendenze funzionali che sono implicate logicamente da $F$:

$F^{+}=\{Y\to Z|F\models Y\to Z\}$

Esempio

$R(A,B,C,D)$:

1. $A\to B$
2. $B\to C$
3. $AB\to D$

Chiave e superchiave

Se prendiamo una chiave $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$, cioè in uno schema $⟨R(X),F⟩$ e $K\subseteq X$, allora $K$ è detta chiave dello schema se:

$K\to X$ è in $F^{+}$ e $\mathrm{\exists }Y\subset K$ tale che $Y\to X$ è in $F^{+}$

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.

Chiameremo superchiave ogni soprainsieme di una chiave.

Bibliografia

• Template:Cita libro
• Template:Cita libro

Voci correlate

• Assiomi di Armstrong

Collegamenti esterni

• Template:FOLDOC
• (PDF) Dipendenza funzionale