Please enable JavaScript.
Coggle requires JavaScript to display documents.
DIPENDENZE FUNZIONALI E NORMALIZZAZIONE PER BASI DI DATI RELAZIONALI -…
DIPENDENZE FUNZIONALI E NORMALIZZAZIONE PER BASI DI DATI RELAZIONALI
Linee guida informali di progettazione
Semantica degli attributi
Riduzione dei valori nulli
Riduzione dei valori ridondanti
Impossibilità di generare tuple spurie
Dipendenze funzionali (DF)
X → Y (X determina Y)
Chiusura di un insieme di DF (F+)
Regole di inferenza
RI3 (Transitiva)
{X → Y, Y → Z} |= X → Z
RI4 (Decomposizione/Proiezione)
{X → YZ} |= X → Y
RI2 (Arricchimento)
{X → Y} |= XZ → YZ
RI5 (Unione/Additiva)
{X → Y, X → Z} |= X → YZ
RI1 (Riflessiva)
se X ⊇ Y, allora X → Y
RI6 (Pseudo Transitiva)
{X → Y, WY → Z} |= WX → Z
Forme normali
Terza forma normale (3NF)
Attributi dipendenti direttamente e non transitivamente dalla chiave primaria
Forma normale di Boyce-Codd (BCNF)
Ogni determinante è una chiave candidata
Seconda forma normale (2NF)
Attributi dipendenti completamente dalla chiave primaria
Prima forma normale (1NF)
Attributi atomici
Decomposizione
Per ridurre la ridondanza e migliorare la struttura delle tabelle