Чем отличаются инфологическая (er-модель) и даталогическая (реляционная) модели базы данных при построении?

Инфологическая модели базы данных - это некий общий план, определяющий перечень сущностей/объектов в предметной области и отношения между ним. ER может быть, но совершенно необязательно. Это результат анализа предметной области, сделанный специалистом именно по ней, нормализация здесь не всегда обязательна, главное, чтобы модель была непротиворечива и адекватно отражала предметную область.

Даталогическая модель базы данных - это уже вполне конкретная модель базы данных, которая реализуется специалистом именно в области баз данных на основе инфологической модели. Могут добавляться новые, а также нормализовываться сущности, могут появляться/модифицироваться дополнительные ограничения и тд. Это уже более детальный план, который учитывает особенности предметной области, но ориентирован он на разработчиков, которые на основе этого плана закодируют уже реальную базу данных, не имея никакого представления о предметной области.
При этом она не должна впадать в другую крайность - соответствовать физической модели базы данных, так как основной смысл их разделения - разграничить концепции БД от её реализации, которая со временем будет изменена при сохранении даталогической модели.

Отличия:
1. Разрабатываются разными людьми с разными целями (если одним, то инфологическую не имеет смысла выделять - она подмножество того, что получится)
2. Разный уровень детализации и приближенности к особенностям архитектуры БД (инфологическая обязана соответствовать только общим понятиям)
3. Из-за 2. инфологическая модель МОЖЕТ быть описана естественным (для специалиста в предметной области) языком, тогда как даталогическая модель ОБЯЗАНА следовать формальным требованиям описания.