Questão de Banco de Dados e Gestão da Informação · FGV SEFAZ-AM 2022 - Prova I (nº 47)

A Forma Normal Boyce-Codd (BCNF) exige que, para cada dependência funcional (uma regra que diz que o valor de uma coluna determina o valor de outra) X → Y, o lado esquerdo (X) seja uma superchave (um conjunto de colunas que identifica unicamente cada linha da tabela). As UNIQUE constraints são usadas para declarar superchaves.

• (A) Incorreta: Se apenas (A, C) for única, A, C e D individualmente não são superchaves. Assim, as dependências A → B, C → A, C → D e D → C violariam a BCNF, pois seus determinantes (A, C, D) não seriam superchaves.
• (B) Incorreta: Se apenas (A, C, D) for única, A, C e D individualmente não são superchaves. Assim, as dependências A → B, C → A, C → D e D → C violariam a BCNF, pois seus determinantes (A, C, D) não seriam superchaves.
• (C) Incorreta: Se apenas (A, D) for única, A, C e D individualmente não são superchaves. Assim, as dependências A → B, C → A, C → D e D → C violariam a BCNF, pois seus determinantes (A, C, D) não seriam superchaves.
• (D) Incorreta: Esta é a alternativa mais tentadora. Se C e D forem declaradas UNIQUE, elas se tornam superchaves. Isso satisfaz as dependências C → A, C → D e D → C. No entanto, a dependência A → B ainda violaria a BCNF, pois A não é uma superchave (o fecho de A é apenas {A, B}, não todos os atributos). Para que A → B esteja em BCNF, A também precisa ser uma superchave.
• (E) Correta: Para que o esquema relacional atenda à BCNF, o lado esquerdo de cada dependência funcional deve ser uma superchave. As dependências são A → B, C → A, C → D e D → C. Isso significa que A, C e D devem ser superchaves. Declarar UNIQUE (A), UNIQUE (C) e UNIQUE (D) garante que A, C e D são superchaves, satisfazendo a condição da BCNF para todas as dependências funcionais fornecidas.