Объяснение этих прагматических правил показывает, что выбор должен
производиться посредством изучения проблемной области, а не только ее
описания. Решение о том, что является типом-атрибута, а что типом-сущности,
не может быть принято априори. Подход сущность-атрибут-связь - итеративный,
и то, что представляется атрибутом на ранней стадии процесса моделирования,
может оказаться сущностью и наоборот.
Связи - это не сущности. Однако можно построить сущность, которая является
трансформацией связи.
Для этого может существовать несколько причин. Одна причина - дать
понятию, первоначально представленному типом-связи, особый идентификатор,
а не использовать идентификаторы совокупности сущностей, другая - обеспечить
наиболее удобное, по мнению проектировщика, представление проблемной
области.
Г.3.2 Формальные правила моделирования
Верификация
Верификация позволяет гарантировать, что каждая реализация типа-
сущности или типа-связи имеет только одно значение любого типа-атрибута.
Нормализация
Нормализация в подходе сущность-атрибут-связь гарантирует, что ни один
атрибут связи не может быть верифицированным по отношению к подмножеству
идентификатора связи.
Декомпозиция
Декомпозиция в подходах сущность-атрибут-связь позволяет без потери
семантики разбить тип-связи размерностина несколько типов-связи с
меньшимиразмерностямиприусловии сохраненияфункциональных
зависимостей, определенных для типа-связи. Необходимо убедиться, что в
общей части используются одни и те же реализации.
Г.4 Пример описания
Описание концептуальной схемы на языке, определенном в разделе Г.2:
CONCEPTUAL SCHEMA
регистрация-автомобилей
ENTITY-TYPE
изготовитель
IDENTIFIER
ид-изготовителя
DESCRIPTION
ид-изготовителя
функционирует