Um Técnico do Tribunal do Trabalho está normalizando um modelo de dados até a forma normal BCNF - Boyce-Codd Normal Form que

Gabarito

A

Comentário do professor

BCNF exige que, em toda relação, qualquer atributo ou conjunto de atributos que determine outro atributo seja, por si só, capaz de identificar unicamente tuplas — isto é, seja uma superchave.

Formalmente: para cada dependência funcional \(X \rightarrow A\), o determinante \(X\) deve ser uma superchave. Se existir \(X \rightarrow A\) com \(X\) não sendo superchave, a relação viola BCNF.

Na prática, isso obriga a decompor relações onde determinantes parciais ou não-chave geram dependências, transferindo essas dependências para tabelas em que os determinantes passam a ser chaves. O objetivo é eliminar redundância e anomalias de atualização.

Assim, garantir que todos os determinantes sejam superchaves é a condição central e suficiente para uma relação estar em BCNF.