Questão de Banco de Dados — Modelo Entidade-Relacionamento (MER) — CESGRANRIO 2025

Generalização e Especialização no Modelo Entidade-Relacionamento

Gabarito: letra A. Em uma generalização exclusiva e parcial, a entidade supertipo C deve conter apenas os elementos que não pertencem a nenhum subtipo (A ou B), pois exclusiva significa que cada instância pertence a no máximo um subtipo, e parcial significa que nem toda instância precisa pertencer a um subtipo. Como A = {x1, x2, x3, x4, x5, x6} e B = {x2, x4, x6}, os elementos que estão em A mas não em B são {x1, x3, x5}, e como a generalização é parcial, esses elementos podem ou não estar em C, mas os elementos de B não podem estar em C. A única alternativa que não viola as propriedades é C = { } (conjunto vazio).

A generalização e a especialização são mecanismos de abstração no modelo entidade-relacionamento que permitem organizar entidades em hierarquias de supertipo e subtipo. A generalização é o processo de identificar características comuns entre entidades e agrupá-las em uma entidade de nível mais alto (supertipo). A especialização é o processo inverso: a partir de um supertipo, definem-se subtipos com características específicas. No diagrama ER, o supertipo C é generalizado a partir dos subtipos A e B, ou seja, A e B são subclasses de C.

A generalização exclusiva (ou disjunta) significa que uma instância do supertipo pode pertencer a no máximo um dos subtipos. Ou seja, um elemento não pode estar simultaneamente em A e em B. Já a generalização parcial (ou não-total) significa que nem toda instância do supertipo precisa pertencer a um subtipo — pode haver elementos em C que não estão nem em A nem em B. Essas duas propriedades juntas definem as restrições sobre o conjunto C.

Vamos aplicar isso ao problema. Temos A = {x1, x2, x3, x4, x5, x6} e B = {x2, x4, x6}. Como a generalização é exclusiva, os elementos que estão em A não podem estar em B, e vice-versa. Mas note que x2, x4 e x6 estão em ambos os conjuntos — isso violaria a exclusividade se considerarmos que A e B são subtipos disjuntos. No entanto, a questão nos dá esses conjuntos como fatos, então devemos interpretar que a exclusividade se aplica à relação entre C e os subtipos: um elemento de C não pode pertencer a mais de um subtipo. Como x2, x4 e x6 estão em B, eles não podem estar em C, pois isso faria com que pertencessem a C e a B simultaneamente (violando a exclusividade). Os elementos x1, x3 e x5 estão apenas em A, então poderiam estar em C, mas como a generalização é parcial, eles não precisam estar — podem ou não estar. Portanto, o conjunto C pode ser vazio, ou conter qualquer subconjunto de {x1, x3, x5}, mas nunca conter x2, x4 ou x6.

A pegadinha aqui é que muitos candidatos pensam que C deve conter todos os elementos que não estão em B, ou seja, {x1, x3, x5}. Mas a generalização parcial permite que C não contenha nenhum elemento — ela apenas diz que nem todo elemento de C precisa estar em um subtipo, não que todo elemento fora dos subtipos deva estar em C. O conjunto vazio é sempre uma possibilidade válida, desde que não viole a exclusividade.

Guarde a distinção entre exclusiva e parcial: exclusiva restringe a sobreposição entre subtipos, parcial restringe a obrigatoriedade de participação. É exatamente essa combinação que decide quais elementos podem ou não estar em C.

Alternativa A — ✅ Correta ⟵ GABARITO

C = { } (conjunto vazio) é válido. Como a generalização é parcial, não há obrigação de que C contenha qualquer elemento. E como é exclusiva, C não pode conter elementos que já estão em B (x2, x4, x6) nem elementos que estão em A e B simultaneamente. O conjunto vazio não viola nenhuma das duas propriedades: não há elemento que pertença a mais de um subtipo, e não há elemento que deveria estar em um subtipo mas não está. Portanto, é a única alternativa que com certeza não viola as propriedades.

Alternativa B — ❌ Incorreta

C = {x1, x2, x3, x4, x5, x6} contém x2, x4 e x6, que estão em B. Isso viola a exclusividade, pois esses elementos pertenceriam a C e a B simultaneamente. Além disso, contém todos os elementos de A, o que também violaria a exclusividade se considerarmos que A e B são disjuntos. A alternativa erra ao incluir elementos que já pertencem a um subtipo.

Alternativa C — ❌ Incorreta

C = {x2, x4, x6} contém exatamente os elementos de B. Isso viola a exclusividade, pois esses elementos pertenceriam a C e a B ao mesmo tempo. A alternativa confunde o subtipo B com o supertipo C, incluindo em C justamente os elementos que já estão em B.

Alternativa D — ❌ Incorreta

C = {x1, x3, x5, x6} contém x6, que está em B. Isso viola a exclusividade, pois x6 pertenceria a C e a B simultaneamente. Embora x1, x3 e x5 sejam permitidos (pois estão apenas em A e a generalização é parcial), a inclusão de x6 torna a alternativa inválida.

Alternativa E — ❌ Incorreta

C = {x1, x3, x5, x7} contém x7, que não está em A nem em B. Isso não viola a exclusividade (x7 não está em nenhum subtipo), mas a generalização parcial permite que C tenha elementos fora dos subtipos. No entanto, a questão pergunta qual conjunto "completa esse banco de dados, sem violar as propriedades da generalização apresentada". O elemento x7 não aparece em nenhum dos conjuntos dados (A e B), então não há garantia de que ele exista no domínio. A alternativa introduz um elemento novo que não está no universo de discurso, o que não é permitido. A alternativa erra ao adicionar um elemento que não pertence ao domínio definido.

Gabarito: letra A — apenas o conjunto vazio satisfaz as propriedades de generalização exclusiva e parcial sem violar o domínio dos dados.