6 Другие нормальные формы
Теория реляционных баз данных позволяет задавать ещё более жёсткие ограничения на отношения, цель которых максимально защитить базу от возможных нарушений целостности.
Рассмотрим список нормальных форм, взятый из википедии. По ссылкам можно получить более полное представление о нормальных формах и познакомиться с первоисточниками.
Первая нормальная форма (1NF)
Основная статья: Первая нормальная форма
Переменная отношения находится в первой нормальной форме (1НФ) тогда и только тогда, когда в любом допустимом значении отношения каждый егокортежсодержит только одно значение для каждого из атрибутов.
В реляционной модели отношение всегда находится в первой нормальной форме по определению понятия отношение. Что же касается различных таблиц, то они могут не быть правильными представлениями отношений и, соответственно, могут не находиться в 1НФ.
Вторая нормальная форма (2NF)
Основная статья: Вторая нормальная форма
Переменная отношения находится во второй нормальной форме тогда и только тогда, когда она находится в первой нормальной форме, и каждый неключевой атрибут неприводимо (функционально полно) зависит от ее потенциального ключа.
Третья нормальная форма (3NF)
Основная статья: Третья нормальная форма
Переменная отношения находится в третьей нормальной форме тогда и только тогда, когда она находится во второй нормальной форме, и отсутствуют транзитивные функциональные зависимости неключевых атрибутов от ключевых.
Нормальная форма Бойса — Кодда (BCNF)
Основная статья: Нормальная форма Бойса — Кодда
Переменная отношения находится в нормальной форме Бойса — Кодда (иначе — в усиленной третьей нормальной форме) тогда и только тогда, когда каждая ее нетривиальная и неприводимая слева функциональная зависимость имеет в качестве своего детерминанта некоторый потенциальный ключ.
Четвёртая нормальная форма (4NF)
Основная статья: Четвёртая нормальная форма
Переменная отношения находится в четвёртой нормальной форме, если она находится в нормальной форме Бойса — Кодда и не содержит нетривиальных многозначных зависимостей.
Пятая нормальная форма (5NF)
Основная статья: Пятая нормальная форма
Переменная отношения находится в пятой нормальной форме (иначе — в проекционно-соединительной нормальной форме) тогда и только тогда, когда каждая нетривиальная зависимость соединения в ней определяется потенциальным ключом (ключами) этого отношения.
Доменно-ключевая нормальная форма (DKNF)
Основная статья: Доменно-ключевая нормальная форма
Шестая нормальная форма (6NF)
Основная статья: Шестая нормальная форма
Введена К. Дейтомв его книге,[2] как обобщение пятой нормальной формы для темпоральной базы данных.
Вернуться в содержание
Раздел «Реляционная теория бд»
Лекция №11
Проектирование реляционной модели на основе концептуальной модели
Требование: реляционная модель будет находиться в 3НФ, если каждый из неключевых атрибутов встречается только в одном отношении.
1 Реализация бинарной связи 1:1 («один-к-одному»)
1.1 Связь обязательная
Рассмотрим фрагмент концептуальной модели, соответствующий следующему описанию предметной области: пусть каждый преподаватель читает только одну дисциплину, и каждая дисциплина читается только одним преподавателем (рисунок 1).
Рисунок 1 - Связь всюду определённая
Определим, сколько отношений надо построить, чтобы выполнялось требование, касающееся неключевых атрибутов (см. выше).
Построим для этого фрагмента одно отношение, объединив атрибуты обеих сущностей:
ПРЕПОДАВАТЕЛЬ (Табельный номер, ФИО, Кафедра, Код дисциплины, Название).
При заполнении данного отношения в кортежах не будет пустых мест и нет избыточности. Отношение находится в 3НФ. Ключом отношения может быть ключ любой из сущностей, так как между ними существует взаимно однозначная функциональная зависимость, например. Табельный номер.
Правило. Для обязательной связи 1:1 строится одно отношение, объединяющее атрибуты обеих сущностей. Первичным ключом отношения является ключ одной из сущностей.