Questão de Banco de Dados — Formas normais — CESPE / CEBRASPE 2025

Forma Normal de Boyce-Codd (FNBC)

Gabarito: letra D. A definição correta da FNBC (ou BCNF) é que toda dependência funcional não trivial em uma relação deve ter como determinante uma superchave. Isso significa que qualquer atributo (ou conjunto de atributos) que determina funcionalmente outro deve ser capaz de identificar unicamente cada tupla. Essa condição é mais forte que a da 3FN, pois elimina dependências mesmo quando o determinante não é superchave, mesmo que não haja dependências transitivas.

Alternativa A — ❌ Incorreta

Afirma que "todos os seus determinantes forem chaves primárias candidatas". O erro está em restringir a superchave a chave candidata (ou pior, "chave primária candidata", termo impreciso). Na FNBC, o determinante deve ser uma superchave — conceito mais amplo que inclui chaves candidatas e quaisquer conjuntos de atributos que contenham uma chave candidata. A alternativa restringe indevidamente.

Alternativa B — ❌ Incorreta

Afirma que a relação deve "estar na 3FN e não possuir atributos multivalorados". A ausência de atributos multivalorados já é condição da Primeira Forma Normal (1FN), não sendo requisito adicional da FNBC. A FNBC exige que todo determinante seja superchave, independentemente da presença de multivaloração (que já foi eliminada na 1FN).

Alternativa C — ❌ Incorreta

Afirma que "todos os atributos não primos forem dependentes diretamente da chave primária". Isso descreve a Terceira Forma Normal (3FN) — eliminação de dependências transitivas — mas não é suficiente para a FNBC. A FNBC cobra que todo determinante (inclusive os que não são chave primária) seja superchave, mesmo que não haja dependência transitiva.

Alternativa D — ✅ Correta ⟵ GABARITO

Exatamente: "toda dependência funcional nela contida tiver como determinante uma superchave". Essa é a definição clássica da Forma Normal de Boyce-Codd (FNBC). Uma relação está em BCNF se, para toda dependência funcional não trivial X → Y, X é uma superchave da relação.

Alternativa E — ❌ Incorreta

Afirma que "todas as dependências transitivas e parciais forem eliminadas, independentemente das chaves". A eliminação de dependências parciais e transitivas leva à 2FN e 3FN, respectivamente. A FNBC vai além: mesmo com essas dependências eliminadas, podem existir dependências onde o determinante não é superchave (por exemplo, quando há chaves candidatas sobrepostas). A FNBC exige que todo determinante seja superchave, não apenas que não haja dependências transitivas ou parciais.

Gabarito: letra D.