Нормальные формы более высоких порядков

НФ (Четвертая Нормальная Форма)
НФ (Пятая Нормальная Форма)
Нормальные формы более высоких порядков
НФБК (Нормальная Форма Бойса-Кодда)
и только тогда, когда детерминанты
и только тогда, когда из
если не существует функциональных зависимостей
и только тогда, когда отношение



возможно пересекающимися) подмножествами множества атрибутов
Ни одно из множеств атрибутов
Либо одно из множеств атрибутов
и только тогда, когда любая
в отношении найдется нетривиальная зависимость
о поставках деталей некоторыми поставщиками.
прежнему необходимо учитывать поставки, но
Рассмотрим следующее отношение
Продолжение алгоритма нормализации (приведение к 5НФ)

Приведение к НФБК)
Приведение к 4НФ)
Приведение к 5НФ)

Данное отношение содержит два потенциальных
Отношение "Поставщики"
Отношение "Поставки-2"
Отношение "Поставщики"

На первый взгляд, такая декомпозиция
Одним потенциальным ключом данного отношения
о том, что абитуриент Иванов
Модифицированное отношение
Отношение "Абитуриенты"
center> Таблица
Теперь каждое наименование встречается только
center> Таблица
В полученных отношениях устранены аномалии

center> Таблица
center> Таблица
center> Таблица
Как легко заметить, отношение
Серым цветом выделен лишний кортеж,
Теорема (Фейджина)
Теорема Фейджина (другая формулировка)
Обобщением 3НФ на случай, когда

Содержание