Построение и проверка локальных логических моделей данных

Построение локальных логических моделей данных производится по соответствующим локальным концептуальным моделям. На данном этапе выполняем удаление нежелательных элементов, таких как: связь «много-ко-многим», сложная связь, рекурсивная связь и т. д.

Все локальные модели должны удовлетворять следующим условиям:

• — первой нормальной форме (сущность находится в 1НФ тогда и только тогда, когда все атрибуты содержат атомарные значения; среди атрибутов не должно встречаться повторяющихся групп, т. е. нескольких значений для каждого атрибута);
• — второй нормальной форме (сущность находится во 2НФ, если она находится в 1НФ и каждый неключевой атрибут полностью зависит от ПК (не должно быть зависимости от части ключа); 2НФ имеет смысл только для сущностей, имеющих сложный ПК);
• — третьей нормальной форме (сущность находится в ЗНФ, если она находится во 2НФ и никакой неключевой атрибут не зависит от другого неключевого атрибута (не должно быть взаимосвязи между неключевыми атрибутами)).

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

ER-диаграмма локальной логической модели блока «Получение выгрузки от платежной системы» представлена на рисунке 12. Модель удовлетворяет 3НФ.

Рисунок 12. — Локальная логическая модель блока «Получение выгрузки от платежной системы».

На рисунке 12 представлена модель, в которой нет сложной связи, связи «Много-комногому», рекурсивных связей. Введем атрибуты для сущностей. ER-диаграмма локальной логической модели блока «Обработка полученных данных» представлена на рисунке 13.

Рисунок 13. — Локальная логическая модель блока «Обработка полученных данных».

Рисунок 14. — Локальная логическая модель блока «Проверка корректности составленных списков».

Рисунок 15. — Локальная логическая модель блока «Информирование владельца карты о предстоящей блокировке карты».