No contexto da base teórica da normalização em projetos de
modelagem de bancos de dados, é possível expandir um conjunto
de dependências funcionais por meio de deduções de acordo com
os Axiomas de Armstrong.
À luz desses axiomas, assinale a dedução inválida.