Considere um projeto de bancos de dados relacional onde as seguintes dependências funcionais se verificam.
C1 ? C2
C1 ? C3
C3 ? C4
Uma tabela T de atributos C1, C2, C3, C4, na qual C1 é um identificador, verifica a terceira forma normal somente se: