Questão de Engenharia de Software — UML — CESGRANRIO 2023

A Figura a seguir contém um modelo conceitual de dados representado por meio de um diagrama de classes UML. Os conjuntos a seguir representam parte do estado de um banco de dados.   G = { g1, g2, g3, g4 } K = { k1, k2, k3 } M = { m1, m2, m3, m4 }   Admita que os elementos dos conjuntos acima sejam instâncias das classes de mesmo nome, presentes no diagrama de classes.   Quais conjuntos Srel e Trel completam o estado desse banco de dados, sem que as regras de multiplicidade do diagrama de classes sejam violadas?

1. ASrel = { }      Trel = { }
2. BSrel = { (g1, k1), (g2, k2), (g2, k3), (g4, k1) }      Trel = { (k1, m1), (k2, m2), (k3, m4) }
3. CSrel = { (g1, k1), (g2, k1), (g3, k1), (g4, k1) }      Trel = { (k1, m1), (k2, m4), (k3, m4) }
4. DSrel = { (g1, k1), (g2, k2), (g3, k3) }      Trel = { (k1, m1), (k2, m2), (k2, m3) }
5. ESrel = { (g1, k1), (g2, k2), (g2, k3), (g4, k1) }      Trel = { }