Введение

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

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

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

Методическая разработка

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

Тема № 1: Базы данных специального назначения
Занятие № 4: Нормализация баз данных.
Учебные цели занятия: Изучить концепцию нормальных форм и научиться проводить нормализацию базы данных.
Время: 2 часа
Место проведения: Аудитория
Материально-техническое обеспечение: методическая разработка, план проведения лекции, проектор, доска, мел, указка
Литература: 1. К. Дж. Дейт. - Введение в системы баз данных, 7-е издание.: Пер. с англ. – М.: Издательский дом «Вильямс», 2001. – 1072 с., ил. 2. Дж. Грофф, П. Вайнберг.- SQL: Полное руководство.- Пер. с англ.-2-е изд., перераб. и доп.-К.: Издательская группа BHV, 2001.- 816 с., ил. 3. SQL в примерах и задачах; учеб. пособие / И.Ф.Астахова, А.П.Толстобров, В.М.Мельников.— Мн.: Новое знание, 2002. — 176 с. 4. Теория и практика построения баз данных/Д.Кренке.- 8-е изд.- СПб.: Питер, 2003.- 800 с., ил.- (Серия «Классика computer science»).
     

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

№ п/п Содержание вопроса Время
  Вступительная часть 5 мин
  Основная часть  
Функциональные зависимости
Нормализация: формы 1НФ, 2НФ, 3НФ и НФБК
Нормализация: более высокие нормальные формы
  Заключительная часть 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. Первая, вторая и третья нормальные формы.. 13

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

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

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

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

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

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

 

 


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

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

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

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

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

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