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

Реляционная база данных содержит как структурную, так и семантическую информацию.

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

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

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

Избыточная функциональная зависимость - зависимость, заключающая в себе такую информацию, которая может быть получена на основе других зависимостей, имеющихся в базе данных.

Два атрибута взаимно зависимы, если один из них функционально зависит от другого и наоборот.

Два атрибута взаимно независимы, если ни один из них не является функционально зависимым от другого.

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

Вторая нормальная форма

БД находится в первой нормальной форме и любое неключевое поле полностью зависит от ключа.

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

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

БД находится во второй нормальной форме и нет неключевых полей зависящих от значения других неключевых полей.

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