Проблемы ER-моделирования (»35 мин)

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

Наиболее распространенными являются два вида ловушек соединения:

- ловушки разветвления;

- ловушки разрыва.

Ловушка разветвления имеет место в том случае, если модель отображает связь между сущностями, но путь между отдельными экземплярами этих сущностей однозначно не определяется.

Ловушка разветвления возникает в случае, когда две или больше связей ОДИН-КО-МНОГИМ разветвляются из одной сущности. Потенциальная ловушка разветвления показана на рис.4.9, где две связи типа 1:М выходят из одной и той же сущности ФАКУЛЬТЕТ. Проанализировав модель, можно сделать вывод, что на одном факультете осуществляется обучение по нескольким специальностям, и на факультете учится множество курсантов. Проблема может возникнуть при попытке выяснить, по какой специальности обучается каждый из курсантов факультета.

Рис.4.9. Пример ловушки разветвления

Для обнаружения этой проблемы удобно пользоваться семантическими сетями – (рис.4.10). С помощью семантической сетевой модели на конкретном примере невозможно дать однозначный ответ на вопрос: «По какой специальности обучается курсант Царько?» – это ловушка разветвления. Эта неприятность произошла из-за неправильной трактовки связей между сущностями ФАКУЛЬТЕТ, СПЕЦИАЛЬНОСТЬ, КУРСАНТ. Устранить такой дефект можно только путем перестройки исходной модели.

Результат адекватного преобразования модели представлен на рис.4.11. В таком варианте легко определяется, что курсант Царько учится на 4-м факультете по специальности «Управление и информатика в технических системах».

Рис.4.10. Семантическая сеть ER-модели с ловушкой разветвления

Рис.4.11. Преобразованная ER-модель

Если проверить полученную структуру на уровне отдельных экземпляров сущностей (как показано на рис.4.12), можно убедиться, что по преобразованной модели легко дать однозначный ответ на поставленный выше вопрос.

Рис.4.12. Семантическая сеть преобразованной ER-модели

Ловушка разрыва появляется в том случае, если в модели предполагается наличие связи между сущностями, но не существует пути между отдельными экземплярами этих сущностей.

Ловушка разрыва возникает при наличии связи, образующей часть пути между связанными сущностями.

На рис.4.13 потенциальная ловушка разрыва показана на примере связей между сущностями ОБЩЕЖИТИЕ, КУРСАНТ и КОМНАТА.

Рис.4.13. Пример ловушки разрыва

С помощью семантической сети ER-модели с рис.4.13 (представлена на рис.4.14), невозможно дать ответ на вопрос: «В каком общежитии находится комната под условным номером 703?». Это причина проявления ловушки разрыва, возникающей из-за неправильной интерпретации связей между сущностями ОБЩЕЖИТИЕ, КУРСАНТ и КОМНАТА.

Рис.4.14. Семантическая сеть ER-модели с ловушкой разрыва

Устранить эту проблему можно только путем перестройки ER-модели для представления правильного взаимоотношения между этими сущностями. Преобразованная ER-модель показана на рис.4.15. В модель добавлена связь Размещение между сущностями ОБЩЕЖИТИЕ и КОМНАТА.

Если исследовать новую структуру на уровне отдельных сущностей (как показано на рис.4.16), то можно дать ответ на поставленный вопрос: «Комната с условным номером 703 находится в общежитии №1».

Рис.4.15. Преобразованная ER-модель

Рис.4.16. Семантическая сеть преобразованной ER-модели

Поиск по сайту: