Нормальная форма Бойса — Кодда

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Нормальная форма Бойса-Кодда (англ. Boyce-Codd normal form; сокращённо BCNF) — одна из возможных нормальных форм отношения в реляционной модели данных.

Иногда нормальную форму Бойса-Кодда называют усиленной третьей нормальной формой, поскольку она во всех отношениях сильнее (строже) по сравнению с ранее определённой 3НФ[1].

Названа в честь Рэя Бойса и Эдгара Кодда, хотя Кристофер Дейт указывает, что на самом деле строгое определение «третьей» нормальной формы, эквивалентное определению нормальной формы Бойса-Кодда, впервые было дано Иэном Хитом (англ. Ian Heath) в 1971 году, поэтому данную форму следовало бы называть «нормальной формой Хита»[1].

Определение[править | править вики-текст]

Переменная отношения находится в BCNF тогда и только тогда, когда каждая её нетривиальная и неприводимая слева функциональная зависимость имеет в качестве своего детерминанта некоторый потенциальный ключ[1].

Менее формально, переменная отношения находится в нормальной форме Бойса-Кодда тогда и только тогда, когда детерминанты всех ее функциональных зависимостей являются потенциальными ключами.

Для определения BCNF следует понимать понятие функциональной зависимости атрибутов отношения.

Пусть R является переменной отношения, а X и Y — произвольными подмножествами множества атрибутов переменной отношения R. Y функционально зависимо от X тогда и только тогда, когда для любого допустимого значения переменной отношения R, если два кортежа переменной отношения R совпадают по значению X, они также совпадают и по значению Y. Подмножество X называют детерминантом, а Y — зависимой частью.

Функциональная зависимость тривиальна тогда и только тогда, когда ее правая (зависимая) часть является подмножеством ее левой части (детерминанта).

Функциональная зависимость называется неприводимой слева, если ни один атрибут не может быть опущен из её детерминанта без нарушения зависимости (иными словами, детерминант неизбыточен).

Ситуация, когда отношение будет находиться в 3NF, но не в BCNF, возникает, например, при условии, что отношение имеет два (или более) потенциальных ключа, которые являются составными, и между отдельными атрибутами таких ключей существует функциональная зависимость. Поскольку описанная зависимость не является транзитивной, то такая ситуация под определение 3NF не подпадает. На практике такие отношения встречается достаточно редко, для всех прочих отношений 3NF и BCNF эквивалентны.

Пример[править | править вики-текст]

Предположим, рассматривается отношение, представляющее данные о бронировании теннисных кортов на день:

Бронирования кортов
Номер корта Время начала Время окончания Тариф
1 09:30 10:30 «Бережливый»
1 11:00 12:00 «Бережливый»
1 14:00 15:30 «Стандарт»
2 10:00 11:30 «Премиум-B»
2 11:30 13:30 «Премиум-B»
2 15:00 16:30 «Премиум-А»

Тариф имеет уникальное название и зависит от выбранного корта и членства в клубе, в частности

  • «Бережливый»: корт 1 для членов клуба
  • «Стандарт»: корт 1 для не членов клуба
  • «Премиум-А»: корт 2 для членов клуба
  • «Премиум-B»: корт 2 для не членов клуба.

Таким образом, возможны следующие составные первичные ключи: {Номер корта, Время начала}, {Номер корта, Время окончания}, {Тариф, Время начала}, {Тариф, Время окончания}.

Отношение соответствует второй (2NF) и третьей (3NF) нормальной форме. Требования второй нормальной формы выполняются, так как все атрибуты входят в какой-то из потенциальных ключей, а неключевых атрибутов в отношении нет. Также нет и транзитивных зависимостей, что соответствует требованиям третьей нормальной формы. Тем не менее, существует функциональная зависимость Тариф → Номер корта, в которой левая часть (детерминант) не является потенциальным ключом отношения, то есть отношение не находится в нормальной форме Бойса — Кодда.

Недостатком данной структуры является то, что, например, по ошибке можно приписать тариф «Бережливый» к бронированию второго корта, хотя он может относиться только к первому корту.

Можно улучшить структуру с помощью декомпозиции отношения на два и добавления атрибута Является членом клуба, получив отношения, удовлетворяющие BCNF (подчёркнуты атрибуты, входящие в первичный ключ.):

Тарифы
Тариф Номер корта Является членом клуба
«Бережливый» 1 Да
«Стандарт» 1 Нет
«Премиум-А» 2 Да
«Премиум-B» 2 Нет
Бронирования
Тариф Время начала Время окончания
«Бережливый» 09:30 10:30
«Бережливый» 11:00 12:00
«Стандарт» 14:00 15:30
«Премиум-B» 10:00 11:30
«Премиум-B» 11:30 13:00
«Премиум-А» 15:00 16:30


Примечания[править | править вики-текст]

  1. 1 2 3 Дейт К. Дж. Введение в системы баз данных. — 8-е изд. — М.: «Вильямс», 2006

Литература[править | править вики-текст]

Российская

Переводная

Иностранная