São modelos lógicos baseados em objetos:

o modelo entidade-relacionamento, o modelo binário, o modelo heurístico e o modelo datalógico.

o modelo evento-resposta, o modelo de entidades, o modelo de sintaxe de dados e o modelo infológico.

o modelo de relacionamentos, o modelo binário, o modelo de semântica de informações e o modelo infológico.

o modelo entidade-relacionamento, o modelo binário, o modelo semântico de objetos e o modelo de dados.

o modelo entidade-relacionamento, o modelo binário, o modelo de semântica de dados e o modelo infológico.