Een dataset gebaseerd op het relationele datamodel is in de 3^de normaalvorm als de data in de 2^de normaalvorm staat en geen transitieve afhankelijkheid kent. Een transitieve afhankelijkheid is een specifiek type functionele afhankelijkheid dat optreedt wanneer een kolom indirect wordt bepaald door twee andere kolommen via functionele afhankelijkheden.

• De 3^de normaalvorm voldoet daarmee aan de 2de normaalvorm.
• Alle attributen die niet tot een sleutel behoren hangen niet af van een andere niet-sleutelkolom.