Suponha a seguinte tabela (com todos seus domínios atômicos) de um banco de dados relacional:

T (A, B, C, D)

Considere, ainda, as seguintes dependências funcionais:

A → B, C, D e C → D

A maior forma normal em que se encontra essa tabela é: