Аспект структуры определяет, что из себя логически представляет база данных, аспект целостности определяет средства описаний корректных состояний базы данных, аспект манипуляции определяет способы перехода между состояниями базы данных и способы извлечения данных из базы данных.

Этапы логического моделирования

1. Построение и проверка локальной логической модели данных на основе представления о предметной области каждого из типов пользователей:

1.1.Преобразование локальной концептуальной модели данных в локальную логическую модель.

1.2.Определение набора отношений исходя из структуры локальной логической модели данных.

1.3.Проверка модели с помощью правил нормализации.

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

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

1.6.Определение требований поддержки целостности данных.

2.Создание и проверка глобальной логической модели данных:

2.1.Слияние локальных логических моделей данных в единую глобальную модель данных.

2.2.Проверка глобальной логической модели данных.

2.3.Проверка возможностей расширения модели в будущем.

2.4.Создание окончательного варианта диаграммы "сущность-

связь".

Реляционная модель

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

●Структурный аспект (составляющая) — данные в базе данных представляют собой набор таблиц (отношений).

●Аспект (составляющая) целостности — таблицы (отношения) отвечают определенным условиям целостности.

●Аспект (составляющая) обработки (манипулирования) — пользователь владеет операторами манипулирования таблицами (отношениями) (реляционной алгеброй, реляционным исчислением).

Отдельно можно отметить две особенности:

- 19 -