Per verificare se una tabella in 2NF è anche in 3NF basta chiedersi in maniera spicciola: “Esiste un campo non chiave che dipenda funzionalmente da un altro campo non chiave?”.

Ecco una definizione più formale:

Uno schema R è in 3NF se ogni volta che in R vale X -> A e A non è X (dove X è un insieme di campi e A è un campo specifico), allora o X è una superchiave per lo schema oppure A è primario (cioè è una delle chiavi, visto che in uno schema possono eserci più chiavi).