Seja a tabela relacional T(A,B, C, D). E sejam (A,B)->C, (A,B)->D e ...

Seja a tabela relacional T(A,B, C, D). E sejam (A,B)->C, (A,B)->D e A->C as únicas dependências funcionais existentes; onde X->Y significa que Y depende funcionalmente de X; e (X,Y)->Z significa que Z depende funcionalmente da concatenação dos campos X e Y. Podemos afirmar que esta tabela está normalizada até a