Проверка модели на отсутствие избыточности
На этом этапе выполняются следующие операции.
1. Повторное исследование связей "один к одному" (1:1)
Возможно, что в процессе определения сущностей были обнаружены две сущности, которые соответствуют в данной организации одному и тому же концептуальному объекту. В таком случае эти две сущности должны быть объединены. Если для них определены разные первичные ключи, то в качестве первичного должен быть выбран только один из них, а другой должен использоваться как альтернативный ключ.
2. Удаление избыточных связей
Связь является избыточной, если представленная в ней информация может быть получена с помощью других связей. Разработчик стремится создать минимальную модель данных, а поскольку избыточные связи не нужны, они должны быть удалены.
По завершении данного этапа следует упростить локальную концептуальную модель данных путем удаления всей свойственной ей избыточности. На ER-диаграмме наличие избыточных связей можно относительно легко обнаружить, поскольку оно проявляется в том, что между двумя сущностями имеется несколько путей. Но такая ситуация не всегда означает, что одна из связей является избыточной, так как они могут представлять разные ассоциации между сущностями. При оценке избыточности важно также учитывать, в какое время проявляются эти связи. Например, рассмотрим ситуацию, при которой моделируются связи между сущностями Man (Мужчина), Woman (Женщина) и Child (Ребенок), как показано на рис. 1.
Рис. 1. Пример неизбыточной связи FatherOf
Очевидно, что между сущностями Man и Child есть два пути: один проходит через прямую связь FatherOf, а другой через связьMarriedTo и MotherOf. На этом основании можно предположить, что связь FatherOf является лишней. Но такое предположение может оказаться неверным по следующим причинам.
Отец может иметь детей от предыдущего брака, а в данном случае проводится моделирование только текущего брака отца с помощью связи 1:1.
Отец и мать могут быть не женаты или отец может быть женат на ком-то другом, а не на матери (или мать может быть замужем за кем-то другим, кто не является отцом).
В том или ином случае необходимые данные невозможно промоделировать без связи FatherOf, Поэтому при оценке избыточности необходимо определить назначение каждой связи между сущностями. По завершении данного этапа следует упростить локальную концептуальную модель данных путем удаления всей свойственной ей избыточности.
Проверка соответствия локальной концептуальной модели конкретным пользовательским транзакциям
Нужно попытаться выполнить все необходимые операции вручную с помощью данной модели. Если все транзакции удалось выполнить таким образом, то проверка соответствия концептуальной модели данных требуемым транзакциям считается успешной. Но если невозможно провести вручную все транзакции, это означает, что модель данных содержит дефекты, которые должны быть устранены. В таком случае, вероятно, в модели данных не учтены какие-либо сущности, связи или атрибуты.
Рассмотрим два возможных способа проверки того, что локальная концептуальная модель данных поддерживает требуемые транзакции.
1. Описание транзакции
Проверяется, предоставляет ли модель всю информацию (сущности, связи и их атрибуты), необходимую для каждой транзакции. Для этого должно быть составлено описание требований каждой транзакции.
2. Проверка с применением путей выполнения транзакций
Второй способ проверки соответствия модели данных требуемым транзакциям предусматривает схематическое изображение пути, по которому проходит каждая транзакция непосредственно на ER-диаграмме.