En databaserelasjon (for eksempel en databasetabell) sies å tilfredsstille kravene til tredje normalform hvis alle attributtene (for eksempel databasekolonner ) er funksjonelt avhengige av kun én nøkkel, bortsett fra tilfellet med funksjonell avhengighet hvis høyre side er en primærattributt (et attributt som er strengt inkludert inni en nøkkel). Codd definerte dette som en relasjon på andre normalform hvor alle ikke-primære attributter bare avhenger av kandidatnøklene og ikke har en transitiv avhengighet av en annen nøkkel.