Название лекции: Нормализация отношений.

План:

1. Нормализация отношений.

Нормализация отношений.

Нормализацию отношения рассмотрим на примере отношения

R: Номер детали - (N), Город - (C), Код поставщика - (P), Количество - (Q).

П

N	C	P	Q
1	Москва	1	300
1	Москва	2	200
1	Москва	3	400
1	Москва	4	200
1	Москва	5	100
1	Москва	6	100
2	Ростов	1	300
2	Ростов	2	400
3	Ростов	2	200
4	Москва	2	200
4	Москва	4	300
4	Москва	5	400

онятие нормализованной формы ввел Кодд и определил 3 нормальных формы.

Исходные 3НФ приводит к некоторой неадекватности, переработано Бойсом и названо НФБК (нормальная форма Бойса-Кодда). Позже Фейгин дал определение 4НФ и 5НФ.

Нормализация – преобразование исходного отношения по определенным правилам и получение других отношений, которые эквивалентны исходному отношению. Формы вложены друг в друга. Нахождение отношения в более старшей форме, в некотором смысле, более предпочтительно.

Замечание:

1. Предполагается, что необходимо использовать отношения в 5НФ, однако это не абсолютно, т. к. возможны ситуации, когда принципами нормализации необходимо пренебречь. Важно, чтобы база находилась в 1НФ.

2. Изучаемые схемы нормализации не являются естественными. Используются более эффективные способы проектирования.

Лекция №14

Название лекции: Декомпозиция без потерь и функциональные зависимости.

Теорема Хеза.

План:

1. Декомпозиция без потерь и функциональные зависимости.

2. Теорема Хеза.

3. Предварительные (перед нормализацией) замечания о ФЗ. ФЗ как семантическое понятие.

Декомпозиция без потерь и функциональные зависимости.

Основной механизм нормализации – декомпозиция исходного отношения (проектирование исходного отношения).

Ясно, что получение новых отношений не должно приводить к потере информации (возникновению противоречий), т. е. соединение полученных проекций должно дать исходное отношение:

Пример:

S:	Код	Статус	Город
	3	30	Казань
	5	50	Новгород

1)	S11	Код	Статус	S12	Код	Город
		3	30		3	Казань
		5	30		5	Новгород

2)	S21	Код	Статус	S22	Статус	Город
		3	30		30	Казань
		5	30		30	Новгород

S₁¹ JOIN S₁²: = S₁

Код	Статус	Город
3	30	Казань
5	50	Новгород

S₂¹ JOIN S₂²  S₁ и содержит противоречивую информацию (нарушается условие один город – один поставщик).

Пусть R₁ и R₂ – проекции некоторого отношения R. Поставим задачу: Какие условия должны выполняться, чтобы при соединении отношений R₁ и R₂ получить исходное отношение R.

Решение поставленной задачи дает теорема Хеза (Heath).