Uma universidade modela seu sistema de gestão de pessoal. A superclasse PESSOA possui três subclasses: PROFESSOR, ALUNO e FUNCIONARIO_ADMINISTRATIVO.
O sistema deve impor as seguintes regras de negócio:
-
Toda PESSOA registrada no sistema deve ser, pelo menos, um ALUNO, ou um PROFESSOR, ou um FUNCIONARIO_ADMINISTRATIVO.
-
Uma PESSOA pode, simultaneamente, ser ALUNO e PROFESSOR, mas não pode ser, ao mesmo tempo, PROFESSOR e FUNCIONARIO_ADMINISTRATIVO.
As restrições de totalidade e disjunção aplicadas a essa estrutura de especialização são: