Этап 2.4. Проверка модели в отношении транзакций пользователей

Цепь Убедиться в том, что локальная логическая модель данных позволяет вы­полнить все транзакции, предусмотренные данным представлением поль­зователя.

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

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

Например, транзакции, необходимые руководителю каждого из отделений пред­приятия, могут включать следующие операции:

а) ввод сведений о новом сотруднике. Первичным ключом отношения Staff является атрибут Staff_No. Прежде всего убедимся, что присвоенный, новому сотруднику личный номер является уни­кальным. Если это не так, ввод данных следует запретить, а и выполнение операции завершить. В противном случае ввод данных о новом сотруднике разрешается. Проверьте, что для каждого элемента сведений о сотруднике в отношении Staff имеется соответствующий атрибут;

б) удаление сведений о сотруднике, заданном его личным номером. Выполняется поиск заданного личного номера в соответствующем столбце от­ношения Staff. Если он не будет найден, то фиксируется ошибка и никакие дальнейшие действия не выполняются. В противном случае из отношения Staff удаляется весь найденный кортеж и обновляется внешний ключ всех кортежей отношения Property, с которыми был связан "удаляемый" работник.

Второй подход к проверке модели данных на соответствие требуемым транзакци­ям заключается в нанесении непосредственно на ER-диаграммы всех путей, которые потребуются для выполнения каждой из транзакций. Простой пример использования этого подхода для контроля за выполнением упомянутых выше транзакций' (а и b) показан на рис. 8.8.

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

Этап 2.5. Создание диаграмм „сущность-связь"

Цель - Создание окончательного варианта диаграмм "сущность-связь" (ER-диаграмм), являющихся локальным логическим представлением дан­ных, используемых отдельными пользователями приложения.

Теперь все готово для того, чтобы создать окончательные варианты ER-диаграмм для отдельных представлений каждого из пользователей предприятия. Данные на этих диаграммах были проверены с применением методов нормализации, а также прокон­тролированы на предмет возможности выполнения всех требуемых транзакций.

Дата добавления: 2014-01-04