Практическая работа №4. Построение окончательной диаграммы .

Цель занятия: Построить окончательную диаграмму.

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

На этом этапе необходимо проверить созданный на занятии №10 набор отношений на соответствие всем требованиям процедуры нормализации.

Проанализируем функциональные зависимости между отношениями Клиент, Договор_аренды и Объект_для_аренды.

Клиент ( Номер_клиента, Имя, Адрес, Телефон, Предпочтительный_тип, Максимальный_размер_платы)

Первичный ключ Номер_клиента

ФЗ:Номер_клиентаИмя,Адрес,Телефон,Предпочтительный_тип,Максимальный_размер_платы 

Объект_для_аренды (Номер_объекта, Улица, Город, Почтовый_индекс, Тип, Количество_комнат, Арендная_плата, Номер_владельца, Номер_работника)

Первичный ключ Номер_объекта

ФЗ:Номер_объекта  Улица, Город, Почтовый_индекс, Тип, Количество_комнат, Арендная_плата, Номер_владельца, Номер_работника

Эти два отношения не содержат повторяющихся групп атрибутов и не имеют атрибутов, частично или транзитивно зависящих от первичных ключей этих отношений. Более того, каждая из сущностей имеет только один детерминант, который является первичным (потенциальным) ключом в соответствующем отношении. В результате можно сделать вывод, что отношения КлиентиОбъект_для_аренды находятся в НФБК

Договор_аренды (Номер_договора, Номер_клиента, Номер_объекта, Арендная_плата, Способ_платежа, Сумма_задатка, Задаток_выплачен, Дата_начала_аренды, Дата_завершения_аренды, Номер_работника)

Первичный ключ Номер_договора

Альтернативный ключ (Номер_объекта, Дата_начала_аренды)

ФЗ:Номер_договора Номер_клиента, Номер_объекта, Арендная_плата, Способ_платежа, Сумма_задатка, Задаток_выплачен, Дата_начала_аренды, Дата_завершения_аренды, Номер_работника

ФЗ:(Номер_объекта, Дата_начала_аренды) Номер_договора, Номер_клиента, Арендная_плата, Способ_платежа, Сумма_задатка, Задаток_выплачен, Дата_завершения_аренды, Номер_работника

ФЗ:Номер_объекта  Арендная_плата

При анализе Функц. Зависимостей в отношении Договор_аренды выясняется, что имеет место транзитивная зависимость вида Номер_объекта  Арендная_плата для первичного ключа Номер_договора этого отношения. Нарушение 3НФ и , следовательно, эта зависимость должна быть удалена из отношения. Удаление атрибута Арендная_плата из отношения Договор_аренды позволяет привести его в соответствие 3НФ.

Первичные ключи являются потенциальными. Следовательно, теперь это отношение удовлетворяет НФБК.

2. Определение бизнес-правил.

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

1. Каждый работник в любой момент времени может отвечать не более чем за 10 объектов, предлагаемых для сдачи в аренду.

2. Минимальная и максимальная продолжительность договоров на аренду составляет 3 месяца и один год соответственно.

3. Размер ежемесячной арендной платы пересматривается один раз в год.

4. Каждый инспектор в любой момент времени должен руководить работой не менее 5, но не более 10 рядовых сотрудников.

5. Каждый сданный в аренду объект должен инспектироваться не реже одного раза в шесть месяцев.