Введение
Функциональные зависимости
Основная часть
Вступительная часть
Методическая разработка
для проведения лекционного занятия по военно-технической подготовке (курс 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 (в общем случае).
Далее мы представим точное формальное определение функциональной зависимости, а также обсудим несколько интересных формальных свойств, которыми они обладают, используемых в основе научного подхода к решению нескольких практических задач.