A seguir, é fornecido o esquema de relação S, com atributos A, B, C e D, todos atômicos. Os atributos componentes da chave primária de S estão sublinhados.

S (A, B, C, D)

Também são fornecidas as dependências funcionais a seguir.

{A, B} !$ ightarrow !$ C

{A, B} !$ ightarrow !$ D

C !$ ightarrow !$ A

D !$ ightarrow !$ B

Considerando que S1, S2 e S3 são esquemas de relações resultantes do processo de normalização de S até a Forma Normal de Boyce-Codd (BCNF), tem-se que