Методическая разработка для проведения лекционного занятия по военно-технической подготовке (курс 220)

Тема № 1:	Базы данных специального назначения
Занятие № 4:	Нормализация баз данных.
Учебные цели занятия:	Изучить концепцию нормальных форм и научиться проводить нормализацию базы данных.
Время:	2 часа
Место проведения:	Аудитория
Материально-техническое обеспечение:		методическая разработка, план проведения лекции, проектор, доска, мел, указка

Учебные вопросы и ориентировочный размер времени:

№ п/п	Содержание вопроса	Время
	Вступительная часть	5 мин
	Основная часть
1	Функциональные зависимости	25
2	Нормализация: формы 1НФ, 2НФ, 3НФ и НФБК	30
3	Нормализация: более высокие нормальные формы	25
	Заключительная часть	5 мин
Всего:		90 мин

Оглавление

Вступительная часть 3

Основная часть 3

1. Функциональные зависимости 3

1.1. Введение 3

1.2. Основные определения 3

1.3. Тривиальные и нетривиальные зависимости 5

1.4. Замыкание множества зависимостей 5

1.5. Замыкание множества атрибутов 6

1.6. Неприводимые множества зависимостей 8

2. Нормализация: формы 1НФ, 2НФ, 3НФ и НФБК 9

2.1. Введение 9

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

2.3. Первая, вторая и третья нормальные формы 12

2.4. Нормальная форма Бойса-Кодда 18

3. Нормализация: более высокие нормальные формы 19

3.1 Многозначные зависимости и четвертая нормальная форма 19

3.2 Зависимости соединения и пятая нормальная форма 23

3.3 Общая схема процедуры нормализации 26

Заключительная часть 27

Вступительная часть

Четвертая лекция посвящена описанию концепции нормальных форм баз данных и самих процедур нормализации. Кроме того в лекции уделено внимание на общей структуре проектирования баз данных. Материал данной лекции необходим для формирования знаний о процессе проектирования баз данных, этапах этого проектирования и порядке выполнения каждого этапа.

Основная часть

1. Функциональные зависимости

1. Введение

В этом разделе речь пойдет о концепции функциональных зависимостей, которая лежит в основе концепции нормальных форм.

По сути, функциональная зависимость (ФЗ) является связью типа «многие к одному» между множествами атрибутов внутри данной переменной-отношения. Например, в рассматриваемой ранее базе данных поставщиков и деталей такой зависимостью является зависимость между множествами атрибутов {S#,P#} и {QTY} в переменной-отношении SP. Это означает, что для любого допустимого значения этой переменной-отношения справедливы следующие правила:

• Для любой заданной пары значений атрибутов S# и P#существует только одно соответствующее им значение атрибута QTY.

• Многие разные пары значений атрибутов S# и P# могут иметь одно и то же соответствующее им значение атрибута QTY (в общем случае).

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