- •2. Реляционные базы данных
- •Лекция № 2. Отсутствующие данные
- •1. Пустые значения (Empty‑значения)
- •2. Неопределенные значения ( Null‑значения)
- •3. Null‑значения и общее правило вычисления выражений
- •4. Null‑значения и логические операции
- •5. Null‑значения и проверка условий
- •Лекция № 3. Реляционные объекты данных
- •1. Требования к табличной форме представления отношений
- •2. Домены и атрибуты
- •3. Схемы отношений. Именованные значения кортежей
- •4. Кортежи. Типы кортежей
- •5. Отношения. Типы отношений
- •Лекция № 4. Реляционная алгебра. Унарные операции
- •1. Унарная операция выборки
- •2. Унарная операция проекции
- •3. Унарная операция переименования
- •4. Свойства унарных операций
- •Лекция № 5. Реляционная алгебра. Бинарные операции
- •1. Операции объединения, пересечения, разности
- •2. Операции декартового произведения и естественного соединения
- •3. Свойства бинарных операций
- •4. Варианты операций соединения
- •5. Производные операции
- •6. Выражения реляционной алгебры
- •Лекция № 6. Язык sql
- •1. Оператор Select – базовый оператор языка структурированных запросов
- •2. Унарные операции на языке структурированных запросов
- •1. Операция выборки.
- •2. Операция проекции.
- •3. Операция переименования.
- •3. Бинарные операции на языке структурированных запросов
- •1. Операция объединения.
- •2. Операция пересечения.
- •3. Операция разности.
- •4. Операция декартова произведения.
- •5. Операции внутреннего соединения.
- •6. Операция естественного соединения.
- •7. Операция левого внешнего соединения.
- •8. Операция правого внешнего соединения.
- •9. Операция полного внешнего соединения.
- •4. Использование подзапросов
- •Лекция № 7. Базовые отношения
- •1. Базовые типы данных
- •2. Пользовательский тип данных
- •3. Значения по умолчанию
- •4. Виртуальные атрибуты
- •5. Понятие ключей
- •Лекция № 8. Создание базовых отношений
- •1. Металингвистические символы
- •2. Пример создания базового отношения в записи на псевдокоде
- •3. Ограничение целостности по состоянию
- •4. Ограничения ссылочной целостности
- •5. Понятие индексов
- •6. Модификация базовых отношений
- •Лекция № 9. Функциональные зависимости
- •1. Ограничение функциональной зависимости
- •2. Правила вывода Армстронга
- •3. Производные правила вывода
- •4. Полнота системы правил Армстронга
- •Лекция № 10. Нормальные формы
- •1. Смысл нормализации схем баз данных
- •2. Первая нормальная форма (1nf)
- •3. Вторая нормальная форма (2nf)
- •4. Третья нормальная форма (3nf)
- •5. Нормальная форма Бойса – Кодда (nfbc)
- •6. Вложенность нормальных форм
- •Лекция № 11. Проектирование схем баз данных
- •1. Различные типы и кратности связей
- •2. Диаграммы. Виды диаграмм
- •3. Связи и миграция ключей
- •Лекция № 12. Связи классов сущностей
- •1. Иерархическая рекурсивная связь
- •2. Сетевая рекурсивная связь
- •3. Ассоциация
- •4. Обобщения
- •5. Композиция
- •6. Агрегация
- •7. Унификация атрибутов
- •Лекция № 13. Экспертные системы и продукционная модель знаний
- •1. Назначение экспертных систем
- •2. Структура экспертных систем
- •3. Участники разработки экспертных систем
- •4. Режимы работы экспертных систем
- •5. Продукционная модель знаний
4. Третья нормальная форма (3nf)
Следующей нормальной формой, которую мы подвергнем рассмотрению, является третья нормальная форма (или 3NF). В отличие от первой нормальной формы, так же как и вторая нормальная форма, третья – подразумевает задание вместе с отношением системы функциональных зависимостей. Сформулируем, какими свойствами должно обладать отношение, чтобы оно было приведенным к третьей нормальной форме.
Определение. Базовое отношение находится в третьей нормальной форме относительно заданного множества функциональных зависимостей тогда и только тогда, когда оно находится во второй нормальной форме и каждый неключевой атрибут полностью функционально зависит только от ключей.
Таким образом, требования, предъявляемые третьей нормальной формой, сильнее требований, накладываемых первой и второй нормальной формой, даже вместе взятых. Фактически в третьей нормальной форме каждый неключевой атрибут зависит от ключа, причем от всего ключа целиком и ни от чего другого, кроме как от ключа.
Проиллюстрируем процесс приведения ненормализованного отношения к третьей нормальной форме. Для этого рассмотрим пример: отношение, находящееся не в третьей нормальной форме.
Итак, вариант 1 схемы отношения «Сотрудники»:
Сотрудники (№ табельный , Фамилия, Имя, Отчество, Код должности, Оклад);
Primary key (№ табельный);
Кроме того, над данным отношением «Сотрудники» задана следующая система функциональных зависимостей:
{Код должности} → {Оклад};
Действительно, как правило, от должности, а следовательно, от ее кода в соответствующей базе данных напрямую зависит размер оклада, т. е. размер заработной платы.
Именно поэтому это отношение «Сотрудники» и не находится в третьей нормальной форме, ведь получается, что неключевой атрибут «Оклад» полностью функционально зависит от атрибута «Код должности», хотя этот атрибут и не является ключевым.
Любопытно, что к третьей нормальной форме любое отношение приводится точно таким же методом, как и к двум формам до этой, а именно, путем декомпозиции.
Проведя декомпозицию отношения «Сотрудники», получим следующую систему новых самостоятельных отношений:
Итак, вариант 2 схемы отношения «Сотрудники»:
Должности (Код должности , Оклад);
Primary key (Код должности);
Сотрудники (№ табельный , Фамилия, Имя, Отчество, Код должности);
Primary key (Код должности);
Foreign key (Код должности) references Должности (Код должности);
Теперь, как мы видим, в отношении «Должности» неключевой атрибут «Оклад» полностью функционально зависит от простого первичного ключа «Код должности» и только от этого ключа.
Заметим, что в отношении «Сотрудники» все четыре неключевых атрибута «Фамилия», «Имя», «Отчество» и «Код должности» полностью функционально зависят от простого первичного ключа «№ табельный». В этом отношении атрибут «Код должности» – внешний ключ, ссылающийся на первичный ключ отношения «Должности».
В данном примере все требования навязаны объявлением простых первичных и внешних ключей, поэтому дальнейшая нормализация не требуется.
Интересно и полезно знать, что на практике обычно ограничиваются приведением баз данных к третьей нормальной форме. При этом, возможно, не навязанными остаются некоторые функциональные зависимости ключевых атрибуты от других атрибутов этого же отношения.
Поддержка таких нестандартных функциональных зависимостей реализуется при помощи уже упоминаемых ранее триггеров (т. е. процедурно, путем написания соответствующего программного кода). Причем триггеры должны оперировать кортежами этого отношения.