Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
BD / Slides / Russian / Лекция 08R-Теория нормализации.pps
Скачиваний:
27
Добавлен:
20.02.2016
Размер:
464.38 Кб
Скачать

Лекция 8. Теория нормализации воскресенье 7 Июль, 201

9

Дополнительные свойства MVD

1) Объединение

Если А В и А С, то А (В, С)

2) Псевдотранзитивность

Если А В и (W, В) Z , то (W, А) Z – (W, В)

3) Смешанная псевдотранзитивность

Если А В и (А,В) С, то А (С - В)

4) Пересечение и разность

Если А В и А С, то А В С, А В – С, А С – В

ФКН НАУ

31

Лекция 8. Теория нормализации воскресенье 7 Июль, 201

9

Четвертая нормальная форма (4NF)

Отношение R находится в четвертой нормальной форме

(4NF), если из существования в нем нетривиальной MVD X Y (где Y Х) следует, что Х является суперключом отношения R.

Утверждение. Пусть отношение R состоит из атрибутов (или множеств атрибутов) А, В, С. Зависимость

А В имеет место в R тогда и только тогда, когда R = R[A, B] * R[A, C].

ФКН НАУ

32

Лекция 8. Теория нормализации воскресенье 7 Июль, 201

9

Приведение в 4NF и встроенные MVD

Алгоритм приведения к 4NF. Пусть задано отношение R с атрибутами А, В, С, и имеется многозначная зависимость R.A R.B Тогда отношение R декомпозируются на следующие два отношения: R[A, B] и R[B, С].

Если результирующие отношения все еще не находятся в 4NF, то к ним опять применяется этот алгоритм.

Многозначная зависимость называется встроенной, если она отсутствует в самом отношении, но существует в его проекциях по некоторым атрибутам.

ФКН НАУ

33

R πA1 (R)* πA2 (R) *...* πAn (R)

 

Лекция 8. Теория нормализации

воскресенье 7 Июль, 201

Зависимость по соединению9 (JD) и

пятая нормальная форма

Пусть R является отношением с атрибутами (множествами атрибутов) А1, А2, …, Аn. Отношение R обладает зависимостью по соединению (JD) относительно А1, А2, …, Аn, что обозначается

как *(А1, А2,…, Аn), если отношение R равно естественному соединению его проекций на А1, А2, …, Аn, то есть:

R = A1(R)* A2(R)*...

* An(R)

R = R[A1] * R[A2]*…*R[An])

JD является тривиальной, если один из наборов атрибутов Ai совпадает со множеством всех атрибутов отношения R.

JD является следствием возможных ключей отношения R, если все Ai (1 i n) являются суперключами R.

ФКН НАУ

34

Лекция 8. Теория нормализации

воскресенье 7 Июль, 201

Связь зависимостей по соединению9 (JD) и

многозначных зависимостей (MVD)

Каждая JD вида *(A, B) в отношении со схемой R(A,B), где А и В - множества атрибутов, является эквивалентной MVD А ∩ В →→ А и А ∩ В →→ В. (Любая MVD является JD, но не наоборот!!!)

Однако, существуют JD, которые не эквивалентны никакой MVD. Так, например, если в отношении R = (A, B, C) имеется JD

*((A,B), (B, C), (A,C)), то она не эквивалентна никакой MVD. Пример:

A B C a1 b1 c2 a2 b1 c1 a1 b2 c1 a1 b1 c1

На приведенном примере отношение содержит JD *((A,B), (B, C), (A,C)), что можно проверить, вычислив:

A1(R) * A2(R) *...

* An(R) .

Однако никакой нетривиальной MVD в нем нет.

В этом можно убедиться, проверив, что ни одна из следующих зависимостей не удовлетворяется:

A →→B, A →→C, B →→A, B →→C, C →→A,C →→B.

ФКН НАУ

35

Лекция 8. Теория нормализации воскресенье 7 Июль, 201

9

Пятая нормальная форма - 5NF

Отношение R находится в пятой нормальной форме (5NF) тогда и только тогда, когда для каждой его нетривиальной JD *(А1, А2,…, Аn) все множества атрибутов Ai являются суперключами R.

Эта нормальная форма также получила название:

проекционно-соединительной нормальной формы (PJNF).

Утверждение. Так как любая многозначная зависимость является также и зависимостью по соединению, то любое отношение, находящееся в 5NF (PJNF), также находится и в 4NF.

Введение 5NF аргументируется тем, что никакая n-арная декомпозиция отношения не может быть представлена в виде последовательности бинарных декомпозиций.

ФКН НАУ

36

Лекция 8. Теория нормализации воскресенье 7 Июль, 201

9

Пример отношения в 5NF

Пусть задано отношение TBS(TCH, BOK, SBJ), которое предназначено для хранения следующей информации:

какие книги какими преподавателями используются;

какие книги в каких дисциплинах используются;

какие дисциплины какими преподавателями читаются.

Тот факт, что в отношении занесена следующая информация:

Резниченко использует в своих лекциях книгу «Язык SQL»,

Книга «Язык SQL» используется в предмете ОБДиБЗ» и

Резниченко читает лекции по предмету ОБДиБЗ

еще не свидетельствует, что «Резниченко использует книгу Язык SQL для чтения лекций по предмету ОБДиБЗ»

Отношение TBS находится в 5NF хотя бы потому, что в ней нет JD.

ФКН НАУ

37

Лекция 8. Теория нормализации

воскресенье 7 Июль, 201

Пример отношения, нарушающего9 5NF,

и приведения в 5NF

Если же в отношении TBS действует дополнительное правило (в качестве бизнес-правила целостности):

«Из фактов:

-преподаватель t использует в лекциях книгу b,

-книга b используется в дисциплине s и

-преподаватель t читает лекции по дисциплине s следует, что преподаватель t использует книгу b для чтения

лекций по дисциплине s»,

то в TBS имеется JD *((TCH, BOK), (BOK, SBJ), (TCH, SBJ)) и это отношение не находится в 5NF, так как в нем единственным ключом является весь набор атрибутов, то есть (TCH, BOK, SUBJ).

В этом случае TBS приводится в 5NF следующим образом:

TBS(TCH, BOK, SBJ) TB(TCH,BOK), BS(BOK, SBJ), TS(TCH, SBJ)

ФКН НАУ

38

Лекция 8. Теория нормализации

воскресенье 7 Июль, 201

Пример отношения, нарушающего9 4NF,

и приведения в 4NF

Если же в отношении TBS действует дополнительное правило (в качестве бизнес-правила целостности):

«Из фактов:

-преподаватель t использует в лекциях книгу b,

-преподаватель t читает лекции по дисциплине s следует, что преподаватель t использует книгу b для чтения

лекций по дисциплине s»,

то в TBS имеется JD *((TCH, BOK), (TCH, SBJ)) или, что то же самое, имеются MVD TCH BOK, TCH SBJ, и это отношение не находится не только в 5NF, но и в 4NF.

В этом случае TBS приводится в 4NF (и, более того, в 5NF)

следующим образом:

TBS(TCH, BOK, SBJ) TB(TCH,BOK), TS(TCH, SBJ)

ФКН НАУ

39

Лекция 8. Теория нормализации

воскресенье 7 Июль, 201

Проектирование9схемы

реляционной модели данных

Формальная постановка задачи проектирования реляционной схемы

Декомпозиция схемы реляционного отношения

Эквивалентность отношений

Декомпозиция без потери (с сохранением) данных

Декомпозиция без потери (с сохранением) зависимостей

Эквивалентность нормальных форм

Критерий качества реляционной схемы

ФКН НАУ

40