Considere um projeto de bancos de dados relacional onde asseguintes 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: