Третья нормальная форма

В общем случае 1НФ и 2НФ рассматриваются как промежуточные ступени в процессе нормализации базы данных. Большая часть СУБД ориентирована на достижение следующей степени нормализации, именуемой третьей нормальной формой (ЗНФ).

Приведем определение третьей нормальной формы.

■ Таблица представлена в ЗНФ тогда и только тогда, когда в таблице нет транзитивных зависимостей между неключевыми полями, то есть чтобы значение любого поля таблицы, не входящего в первичный ключ, не зависело от значения другого поля, не входящего в первичный ключ.

Это определение — всего лишь оригинальный способ выразить необходимость представления системы связанных таблиц в таком виде, чтобы атрибуты каждой таблицы непосредственно определялись либо суперключом, либо потенциальным ключом этой таблицы.

Для большинства существующих СУБД и инструментов CASE-технологии необходимо представить проект вашей базы данных в ЗНФ, так как этого вполне достаточно практически для всех обычных приложений. При разработке исключительно больших систем на сверхбыстродействующих компьютерах, когда необходимо обеспечить максимальное сокращение объемов хранимых данных, желательно провести дальнейшую нормализацию.

Существует метод расчета минимального числа таблиц, необходимых для представления базы данных в ЗНФ. В том случае, если вы составили список всех функциональных зависимостей в ваших данных, для этого можно применить алгоритм Бернштейна, который описан в любом учебнике реляционной алгебры.

Ниже приводится определение варианта ЗНФ, называемого нормальной формой Бойса— Кодда (Воусе — Codd) — БКНФ, где устанавливаются более строгие требования.

■ Таблица X представлена в нормальной форме Бойса—Кодда (БКНФ), если в каждой нетривиальной функциональной зависимости В→А В является суперключом.

В базе данных «БИБЛИОТЕКА» нет примера, позволяющего проиллюстрировать приведение таблиц к ЗНФ. Поэтому приведем простой пример, основывающийся на таблице, применяемой для учета товара на складе. Кажется логичным, чтобы в нее входили в числе многих три следующих атрибута: «Количество товара», «Цена за единицу товара» и «Общая стоимость товара». Эти поля не являются ключевыми. Но чтобы получить значение «Общей стоимости товара» можно перемножить значения, находящиеся в полях: «Количество товара» и «Цена за единицу товара». Т.е. значение поля «Общей стоимости товара» зависит от двух полей, не входящих в первичный ключ. Это противоречит определению третьей нормальной формы. Чтобы данная таблица соответствовала третьей нормальной форме из нее необходимо исключить поле «Общая стоимость товара».

Дата добавления: 2014-01-07