INFORMATICA MEDICA

Dipendenze Funzionali
Le forme normali successive alla prima sono definite a partire dal concetto
di dipendenza funzionale. Data una relazione in 1FN e due sottoinsiemi A e
B dei suoi attributi, si dice che B è funzionalmente dipendente da A (AB)
se per un qualsiasi stato della base di dati ciascun valore di A è associato
ad uno (e solo uno) valore di B. Si ha una dipendenza piena quando la
dipendenza AB è tale per cui non esiste alcun sottoinsieme proprio di A
per il quale valga ancora la dipendenza funzionale con B. Si ha invece
dipendenza parziale, quando la dipendenza è tra un sottoinsieme di A e B.
Si ha dipendenza transitiva tra due attributi (o gruppi di attributi) A e B
distinti, quando esiste un attributo (o un gruppo) C, distinto da A e B, tale
per cui B dipende da C e C dipende da A. Si deduce che ciascun attributo
di una relazione dipende funzionalmente dai candidati chiave della
relazione.
Inf. Med. - 2. Modelli dei dati -
A.A. 2013-14