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

БАЗЫ ДАННЫХ
ЛЕКЦИЯ 8
тема: ТЕОРИЯ
НОРМАЛЬНЫХ ФОРМ
Функциональная зависимость
Функциональная зависимость (Functional
Dependency) – это особого рода ограничение
целостности, накладываемое на атрибуты сущности и
заключающееся в том, что значениям некоторой
группы атрибутов, называемой детерминантом, всегда
соответствуют единственные значения другой группы
атрибутов, называемых функционально зависимыми.
(a1, a2, …) -> (b1,b2,…)
Функциональная зависимость
• неполная функциональная зависимость от
идентификатора ─ детерминант является частью
идентификатора и сам функционально определяет
некоторые атрибуты
• транзитивная функциональная зависимость от
идентификатора ─ детерминант функционально
зависит от идентификатора и, в свою очередь, сам
функционально определяет некоторые атрибуты
Функциональная зависимость
Нормальные формы
Нормальные формы (Normal Forms) —
это сущности, удовлетворяющие
определенным условиям, гарантирующим
отсутствие определенных аномалий при
манипулировании данными.
Первая нормальная форма
Первая нормальная форма (1НФ) — это
«простая» идентифицируемая таблица:
• на пересечении каждой строки и столбца
находятся атомарные данные
• идентифицируемость — наличие
первичного ключа
Сложная таблица
«Сложность» по «вертикали» (по столбцам):
«Сложность» по «горизонтали» (по строкам):
Вторая нормальная форма
Вторая нормальная форма (2НФ) — это 1НФ,
в которой отсутствуют неполные
функциональные зависимости от первичного
ключа, что обеспечивает отсутствие
соответствующих аномалий.
Неполная функциональная
зависимость
det (Код) → ФИО
det (Код) → Назв
Третья нормальная форма
Третья нормальная форма (3НФ) — это 2НФ,
в которой отсутствуют транзитивные
функциональные зависимости от первичного
ключа, что обеспечивает отсутствие
соответствующих аномалий.
Транзитивная
функциональная зависимость
Нормальная форма
Бойса-Кодда
Нормальная форма Бойса–Кодда
(НФБК) — это 1НФ, в которой каждый
детерминант является идентификатором
Аномалии скрытых сущностей

Аномалия вставки

Аномалия удаления

Аномалия обновления
Аномалии скрытых сущностей
Устранение аномалий
Декомпозиция
исходной
сущности.
«Скрытые»
сущности (детерминант + зависящие от него атрибуты)
вычленяются в самостоятельную сущность.