Sendo A1 e A2 conjuntos de atributos de uma relação T, a notação A1 -> A2 significa que o conjunto de atributos A2 depende funcionalmente do conjunto de atributos A1. Considere o seguinte esquema relacional:

R(A, B, C, D, F) S(A, E)

Para satisfazer as dependências funcionais AB -> CD e CD -> F, a alternativa que decompõe a relação R em outras relações X e Y, de tal forma que o novo esquema esteja na 3a Forma Normal é: