Para definir formalmente la 3FN necesitamos definir dependencia transitiva: Es una afinidad (tabla bidimensional) que tiene por lo menos 3 atributos (A, B, C), en donde A determina a B, B determina a C pero no determina a A.
Una relación R esta en 3FN si y solo si esta en 2FN y todos sus atributos no primos dependen no transitivamente de la llave primaria.
Consiste en eliminar la dependencia transitiva que queda en una segunda forma normal, una relación esta en tercera forma normal si esta en 2FN y no existen dependencias transitivas entre los atributos, nos referimos a dependencias transitivas cuando existen mas de una forma de llegar a referencias a un atributo de una relación.
Forma normal de Boyce-Codd (FNBC) Artículo principal: Forma normal Boyce-Codd
Una tabla está en FNBC sí y sólo sí las únicas dependencias funcionales elementales son aquellas en las que la clave primaria determinan un atributo.
