Um banco de dados possui um modelo conceitual cuja descrição é feita pelo diagrama E-R a seguir.
Figura do enunciado (recorte da prova original)
Admita-se que o estado desse banco de dados seja definido, em parte, pelos seguintes conjuntos: A={a₁,a₂,a₃,a₄,a₅,a₆} A1={a₂,a₃,a₄} A2={a₁,a₅,a₆} C={c₁,c₂} D={d₁,d₂,d₃,d₄} Os elementos desses conjuntos representam instâncias das entidades presentes no diagrama E-R do banco de dados em questão. As relações que completam o estado desse banco de dados, sem que nenhuma regra de cardinalidade ou generalização seja violada, são