4.3. Этап 3. Проверка выполнимости задач и требований целостности данных

Проверка реализуемости задач пользователей в рамках соз­данной ЛМ БД. Данное действие предпола­гает анализ и доказательство того, что разработанная БД обеспечивает процесс решения задач пользователей необходимой информацией. Возможны следующие проблемы использования разработанной БД:

1. В БД имеются данные, которые не используются при решении задач.

2. В БД отсутствуют данные (и возможно связи), необходимые для решения задач.

Проверку выполнимости задач можно решить следующим образом:

1. Для каждой задачи на схему БД вручную нанести все пути, которые требуются для выполнения задач, а также отметить используемые данные (атрибуты).

2. Проанализировать для каждой задачи в отдельности возможность решения (наличие необходимых свя­зей между отношениями) и наличие необходимых данных. При необходимости определить отсутствующие связи и данные для решения задачи.

3. Определить не используемые задачами атрибуты отношений (лишние данные).

Рассмотрим проверку выполнимости для следующего перечня задач, для которых разрабатывалась БД (см. лабораторная работа №4 «Разработка КМ БД»):

1. Отчет 1 - о пропусках занятий по студентам (за месяц, за семестр) (название группы, ФИО студента, коли­чество пропусков) – КМ1.

2. Отчет 2 - о сдаче лабораторных работ по студентам (за месяц, за семестр) (название дисциплины, назва­ние группы, общее количество работ, список студентов (ФИО студента, количество сданных ра­бот)) – КМ2.

3. Отчет 3 - об аттестации по курсовому проектированию (название дисциплины, название группы, ФИО пре­подавателя, список студентов (ФИО студента, оценка)) – КМ3.

4. Отчет 4 - о контингенте студентов факультета (по специальности (по курсам, по группам (ФИО студента, номер зачетной книжки))) – КМ4.

Пример проверки приведен на рис.4.12. Пути решения задач представлены черными линиями. Результаты анализа выполнимости задач следующие:

1. Отчет 1 – задача выполнима.

2. Отчет 4 – задача выполнима.

3. Отчет 2 – задача невыполнима – отсутствуют необходимая связь с отношением ДИСЦИПЛИНА. Воз­можно добавление связи между отношениями КУРС и ДИСЦИПЛИНА.

4. Отчет 3 – задача невыполнима – отсутствует доступ к отношению ПРЕПОДАВАТЕЛЬ и ДИСЦИПЛИНА. Воз­можно добавление связи между отношениями КУРС и ДИСЦИПЛИНА.

5. Лишних и отсутствующих данных не выявлено.

6. Выявлено отношение КАФКДРА, атрибуты которого не используются при решении перечисленных задач.

Общий вывод: необходимо внести изменения в КМ, а затем разработать ЛМ с учетом внесенных измене­ний.

Рисунок 4.12 - Пример схемы ЛМ БД

Проверка требований поддержки целостности данных в рамках созданной ЛМ БД. Ограничения цело­стности данных представляют собой такие ограничения, кото­рые вводятся с целью предотвратить помещение в БД противоречивых данных. Следует от­метить, что, в кон­кретных СУБД функции контроля целост­ности могут, как под­держиваться, так и не поддержи­ваться. Более подробно смотри в [1].