cada conjunto de entidades deve ter todos os seus atributos pertencentes a um mesmo tipo de dados.

cada conjunto de entidades pode conter quantos atributos sejam necessários para representar o modelo.

dois ou mais conjuntos de entidades ligados a um mesmo conjunto de relacionamentos devem possuir número igual de entidades.

pode haver, no máximo, um conjunto unário de entidades em cada modelo.

todos os conjuntos de relacionamentos devem possuir a mesma cardinalidade de mapeamento.