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 é: