Considere uma tabela relacional com atributos (colunas) A, B, C, D e E, na qual as dependências funcionais conhecidas são:
A -> B A -> C A -> D D -> E
O comando de criação dessa tabela é mostrado a seguir.
create table X(A int, B int, C int, D int, E int,
constraint K1 unique (A),
constraint K2 unique (D)
)
De acordo com as formas normais Primeira, Segunda, Terceira e Boyce-Codd, a dependência funcional adicional necessária e suficiente para a validade desse esquema é: