1. Introduzione alle Forme Normali
Le Forme Normali costituiscono una gerarchia di proprietà che un database relazionale deve soddisfare per minimizzare la ridondanza e scongiurare le anomalie di gestione. Ciascuna forma normale definisce un livello di rigore strutturale superiore rispetto alla precedente.
$$1\text{NF} \leftarrow 2\text{NF} \leftarrow 3\text{NF}$$
Ogni tabella in Terza Forma Normale soddisfa automaticamente i requisiti della Seconda e della Prima
Forma Normale.
2. Analisi Dettagliata delle Forme Normali
Esaminiamo i requisiti tecnici necessari per superare ciascun livello di normalizzazione:
3. Tabella Comparativa dei Livelli
Una sintesi dei requisiti strutturali e dei vantaggi associati a ciascuna forma:
| Forma Normale | Condizione Chiave | Vantaggio Principale |
|---|---|---|
| 1NF | Attributi atomici, assenza di campi multivalore o strutturati. | Uniformità dei dati e interrogabilità tramite algebra relazionale. |
| 2NF | 1NF + assenza di dipendenze parziali da chiavi composte. | Eliminazione di duplicazioni su sottoinsiemi della chiave primaria. |
| 3NF | 2NF + assenza di dipendenze transitive fra campi non chiave. | Isolamento totale delle proprietà descrittive e coerenza assoluta dei dati. |
4. Simulatore Interattivo: Verifica dei Vincoli di Normalità
Verifica interattivamente la conformità di uno schema relazionale rispetto ai criteri di 1NF, 2NF e 3NF.