Considerando que uma dependência funcional X÷Y em uma relação R é transitiva se há um conjunto de atributos Z que não é nem uma chave candidata nem um subconjunto de qualquer chave de R, e que ambas !$ X \rightarrow Z !$ e !$ Z \rightarrow Y !$ são asseguradas, então, para uma relação R estar na terceira forma normal, é suficiente que todo atributo não primário de R seja transitivamente dependente da chave primária.