10.3. Нормальные формы er-диаграмм

Как и в случае схем реляционных баз данных, для ER-диаграмм вводится понятие нормальных форм, причем их смысл очень близко соответствует смыслу нормальных форм отношений. Заметим, что определения нормальных форм ER-диаграмм делают более понятным смысл нормализации схем отношений. Мы приведем только очень краткие и неформальные определения трех первых нормальных форм. Конечно, можно было бы ввести дальнейшие нормальные формы ER-диаграмм, аналогичные нормальной форме Бойса-Кодда, 4NF и 5NF, но на практике к такой нормализации обычно не прибегают, а общие идеи после ознакомления с лекцией 9 должны быть понятны и так.

10.3.1. Первая нормальная форма er-диаграммы

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

На рис. 10.9(a) показана диаграмма, в которой тип сущностиАЭРОДРОМне удовлетворяет требованию первой нормальной формы. Здесь для нас несущественны атрибуты сущностиАВИАРЕМОНТНОЕ ПРЕДПРИЯТИЕ, но сущностьАЭРОДРОМпомимо атрибутов, отражающих собственные характеристики аэродромов (длина взлетно-посадочной полосы, число ангаров и т.д.) содержит атрибут, множественное значение которого характеризует самолеты, приписанные к этому аэродрому. Очевидно, что самолеты нуждаются в ремонте, т. е. должны обслуживаться некоторым авиаремонтным предприятием. Но поскольку самолеты являются частью сущностиАЭРОДРОМ, единственным способом фиксации этого факта на диаграмме является проведение связи «многие ко многим» между типами сущностиАЭРОДРОМиАВИАРЕМОНТНОЕ ПРЕДПРИЯТИЕ. Таким образом выражается то соображение, что для ремонта разных самолетов, приписанных к одному аэродрому, могут использоваться разные транспортные предприятия, и каждое транспортное предприятие может обслуживать несколько аэродромов.

Рис. 10.9.Пример приведения ER-диаграммы к первой нормальной форме

Чем плоха эта ситуация? Прежде всего, тем, что скрывается тот факт, что авиаремонтное предприятие ремонтирует самолеты, а не аэродромы. Наша же связь на самом деле означает, что любой аэродром из группы аэродромов обслуживается любым авиаремонтным предприятием из группы таких предприятий. Проблема состоит именно в том, что значением атрибута «самолеты» является множество экземпляров типа сущностиСАМОЛЕТ, и этот тип сущности сам обладает атрибутами и связями.

Ситуацию исправляет ER-диаграмма, показанная на рис. 10.9(b). Здесь мы выделили тип сущностиСАМОЛЕТ. Связь между сущностямиАЭРОПОРТиСАМОЛЕТпоказывает, что к одному аэродрому приписывается несколько самолетов. Связь между сущностямиСАМОЛЕТиАВИАРЕМОНТНОЕ ПРЕДПРИЯТИЕозначает, что каждый самолет из группы самолетов (группу самолетов могут составлять, например, все самолеты одного типа) обслуживается любым транспортным предприятием из некоторой группы таких предприятий. ER-диаграмма нарис. 10.9(b) находится в первой нормальной форме и, как мы видим, лучше отображает реальную ситуацию.

10.3.2. Вторая нормальная форма er-диаграммы

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

На рис. 10.10(a) показана диаграмма, на которой тип сущностиЭЛЕМЕНТ РАСПИСАНИЯне удовлетворяет требованиям второй нормальной формы. На этой диаграмме у сущностиЭЛЕМЕНТ РАСПИСАНИЯимеются следующие свойства. Элементы расписания предназначены для сохранения данных о рейсах самолетов, вылетающих в течение дня. Некоторыми важными характеристиками рейса являются номер рейса, аэропорт вылета, аэропорт назначения, дата и время вылета, бортовой номер самолета, тип самолета. Если говорить про российские авиационные компании, то (1) у каждого рейса имеется заранее приписанный ему номер (уникальный среди всех других имеющихся номеров рейсов), (2) не все рейсы совершаются каждый день, поэтому характеристикой конкретного рейса является дата и время его совершения, (3) бортовой номер самолета определяется парой<номер рейса, дата-время вылета>. Имеется связь «многие к одному» между сущностямиЭЛЕМЕНТ РАСПИСАНИЯиГОРОД. Экземпляры типа сущностиГОРОДхарактеризуют город, в который прибывает данный рейс.

Рис. 10.10.Пример приведения ER-диаграммы ко второй нормальной форме

Уникальным идентификатором типа сущности ЭЛЕМЕНТ РАСПИСАНИЯявляется пара атрибутов<номер рейса, дата-время вылета>. Если вернуться к терминам функциональных зависимостей, то между атрибутами этой сущности имеются следующие FD:

• {номер рейса, дата-время вылета}бортовой номер самолета;

• номер рейса аэропорт вылета;

• номер рейса аэропорт назначения;

• бортовой номер самолета тип самолета.

Кроме того, очевидно, что каждый экземпляр связи с сущностью ГОРОДтакже определяется значением атрибутаномер рейса. Налицо нарушение требования второй нормальной формы. Мы получаем не только избыточное хранение значений атрибутоваэропорт вылетаиаэропорт назначенияв каждом экземпляре типа сущностиЭЛЕМЕНТ РАСПИСАНИЯс одним и тем же значением номера рейса. Искажается и затемняется смысл связи с сущностьюГОРОД. Можно подумать, что в разные дни один и тот же рейс прибывает в разные города.

На рис. 10.10(b) показан нормализованный вариант диаграммы, в котором все сущности находятся во второй нормальной форме. Теперь имеются три типа сущности:РЕЙСс атрибутаминомер рейса,аэропорт вылета,аэропорт назначения,ЭЛЕМЕНТ РАСПИСАНИЯс атрибутамидата-время вылета,бортовой номер самолета,тип самолетаиГОРОД. Уникальным идентификатором сущностиРЕЙСявляется атрибутномер рейса, уникальный идентификаторЭЛЕМЕНТ РАСПИСАНИЯсостоит из атрибутадата вылетаи конца связиКОГДА,НА ЧЕМ. Мы видим, что ни в одном типе сущности больше нет атрибутов, определяемых частью уникального идентификатора. Свойства второй нормальной формы удовлетворяются, и мы имеем более качественную диаграмму.