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