Проверка реализуемости задач пользователей в рамках созданной ЛМ БД. Данное действие предполагает анализ и доказательство того, что разработанная БД обеспечивает процесс решения задач пользователей необходимой информацией. Возможны следующие проблемы использования разработанной БД:
1. В БД имеются данные, которые не используются при решении задач.
2. В БД отсутствуют данные (и возможно связи), необходимые для решения задач.
Проверку выполнимости задач можно решить следующим образом:
1. Для каждой задачи на схему БД вручную нанести все пути, которые требуются для выполнения задач, а также отметить используемые данные (атрибуты).
2. Проанализировать для каждой задачи в отдельности возможность решения (наличие необходимых связей между отношениями) и наличие необходимых данных. При необходимости определить отсутствующие связи и данные для решения задачи.
3. Определить не используемые задачами атрибуты отношений (лишние данные).
Рассмотрим проверку выполнимости для следующего перечня задач, для которых разрабатывалась БД (см. лабораторная работа №4 «Разработка КМ БД»):
- Отчет 1 - о пропусках занятий по студентам (за месяц, за семестр) (название группы, ФИО студента, количество пропусков) – КМ1.
- Отчет 2 - о сдаче лабораторных работ по студентам (за месяц, за семестр) (название дисциплины, название группы, общее количество работ, список студентов (ФИО студента, количество сданных работ)) – КМ2.
- Отчет 3 - об аттестации по курсовому проектированию (название дисциплины, название группы, ФИО преподавателя, список студентов (ФИО студента, оценка)) – КМ3.
- Отчет 4 - о контингенте студентов факультета (по специальности (по курсам, по группам (ФИО студента, номер зачетной книжки))) – КМ4.
Пример проверки приведен на рис.4.12. Пути решения задач представлены черными линиями. Результаты анализа выполнимости задач следующие:
1. Отчет 1 – задача выполнима.
2. Отчет 4 – задача выполнима.
3. Отчет 2 – задача невыполнима – отсутствуют необходимая связь с отношением ДИСЦИПЛИНА. Возможно добавление связи между отношениями КУРС и ДИСЦИПЛИНА.
4. Отчет 3 – задача невыполнима – отсутствует доступ к отношению ПРЕПОДАВАТЕЛЬ и ДИСЦИПЛИНА. Возможно добавление связи между отношениями КУРС и ДИСЦИПЛИНА.
5. Лишних и отсутствующих данных не выявлено.
6. Выявлено отношение КАФКДРА, атрибуты которого не используются при решении перечисленных задач.
Общий вывод: необходимо внести изменения в КМ, а затем разработать ЛМ с учетом внесенных изменений.
 | |||||
 | |||||
 | |||||
Рисунок 4.12 - Пример схемы ЛМ БД
Проверка требований поддержки целостности данных в рамках созданной ЛМ БД. Ограничения целостности данных представляют собой такие ограничения, которые вводятся с целью предотвратить помещение в БД противоречивых данных. Следует отметить, что, в конкретных СУБД функции контроля целостности могут, как поддерживаться, так и не поддерживаться. Более подробно смотри в [1].
