Sommario:
Definizione - Cosa significa Dipendenza funzionale?
La dipendenza funzionale è una relazione che esiste quando un attributo determina in modo univoco un altro attributo.
Se R è una relazione con gli attributi X e Y, una dipendenza funzionale tra gli attributi è rappresentata come X-> Y, che specifica Y è funzionalmente dipendente da X. Qui X è un insieme determinante e Y è un attributo dipendente. Ogni valore di X è associato esattamente a un valore Y.
La dipendenza funzionale in un database funge da vincolo tra due serie di attributi. La definizione della dipendenza funzionale è una parte importante della progettazione di database relazionali e contribuisce alla normalizzazione degli aspetti.
Techopedia spiega la dipendenza funzionale
Una dipendenza funzionale è banale se Y è un sottoinsieme di X. In una tabella con gli attributi del nome dell'impiegato e del numero di previdenza sociale (SSN), il nome dell'impiegato dipende funzionalmente dall'SSN perché l'SSN è univoco per i singoli nomi. Un SSN identifica il dipendente in modo specifico, ma un nome di dipendente non può distinguere il SSN perché più di un dipendente può avere lo stesso nome.
La dipendenza funzionale definisce la forma normale di Boyce-Codd e la terza forma normale. Ciò preserva la dipendenza tra gli attributi, eliminando la ripetizione delle informazioni. La dipendenza funzionale è correlata a una chiave candidata, che identifica in modo univoco una tupla e determina il valore di tutti gli altri attributi nella relazione. In alcuni casi, i set funzionalmente dipendenti sono irriducibili se:
- Il set di dipendenze funzionali a destra contiene solo un attributo
- Il set sinistro di dipendenza funzionale non può essere ridotto, poiché ciò può modificare l'intero contenuto del set
- Ridurre una delle dipendenze funzionali esistenti potrebbe cambiare il contenuto dell'insieme
Una proprietà importante di una dipendenza funzionale è l'assioma di Armstrong, utilizzato nella normalizzazione del database. In una relazione, R, con tre attributi (X, Y, Z) l'assioma di Armstrong è vero se sono soddisfatte le seguenti condizioni:
- Assioma della transitività: se X-> Y e Y-> Z, quindi X-> Z
- Assioma della riflessività (proprietà del sottoinsieme): se Y è un sottoinsieme di X, allora X-> Y
- Assioma dell'aumento: se X-> Y, quindi XZ-> YZ
