Na teoria do processo de normalização em bancos de dados relacionais, o conceito de chave é definido por “um conjunto de uma ou mais colunas, tal que não possa haver duas linhas, t1, t2, cujos valores presentes nessas colunas sejam idênticos em t1 e t2”.

Nesse contexto, considere uma tabela T, com colunas A, B, C e D, para as quais são válidas as seguintes dependências funcionais:

A -> B

B -> C

B -> D

C -> B

Supondo que, adicionalmente, a dependência funcional

C -> A

seja válida, é correto concluir que, obrigatoriamente, a tabela T deve ser: