Um banco de dados possui um modelo conceitual cuja descrição é feita pelo diagrama E-R a seguir
Admita-se que o estado desse banco de dados seja definido, em parte, pelos seguintes conjuntos:
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
