Em relação às formas normais em Modelagem de Banco de Dados, “parte de uma chave determina parte de uma chave e uma coluna não chave determina parte de uma chave”. Os dois casos es

Gabarito

D

Comentário do professor

A FNBC (Forma Normal de Boyce-Codd) exige que, para toda dependência funcional não trivial \(X \to Y\) na relação, o conjunto de atributos \(X\) seja uma superchave. Em outras palavras, todo determinante deve identificar unicamente tuplas da tabela.

Isso elimina precisamente os dois casos citados: quando uma parte de uma chave determina parte de outra (por exemplo, em chave composta \((A,B)\) e existe \(A \to B\)) e quando uma coluna não-chave determina parte de uma chave (por exemplo \(C \to A\) com \(C\) não chave). Em ambos os cenários o determinante não é superchave, logo há violação de FNBC.

Portanto, ao garantir que todo determinante seja superchave, a FNBC cobre e corrige essas anomalias, promovendo esquemas livres dessas dependências problemáticas.