Метод нормальных форм является классическим методом проектирования реляционных БД. Он основан на фундаментальном в теории реляционных БД понятии зависимости между атрибутами отношений.
Между атрибутами отношений существуют следующие основные виды зависимостей:
- функциональные;
- многозначные;
- транзитивные.
Понятие функциональной зависимости является базовым.
Атрибут В функционально зависит от атрибута А, если каждому значению А соответствует в точности одно значение В. А и В могут состоять из нескольких атрибутов (быть составными).
Различают частичную и полную функциональные зависимости. Под частичной функциональной зависимостью понимают зависимость неключевого атрибута от части составного ключа.
Полная функциональная зависимость - зависимость неключевого атрибута от всего составного ключа.
Определение. В отношении R атрибут В многозначно зависит от атрибута А, если каждому значению А соответствует множество значений В, не связанных с другими атрибутами из R.
Многозначные зависимости могут быть:
- «один-ко-многим» (1:M) - одному значению атрибута А соответствует несколько значений атрибута В;
- «многие-к-одному» (M:1) - несколько значений атрибута А соответствует одному значению атрибута В;
- «многие-ко-многим» (M:M) - нескольким значениям атрибута А соответствует несколько значений атрибута В.
Определение. Атрибут С зависит от атрибута А транзитивно, если для атрибутов А, В я С выполняются следующие условия: атрибут С функционально зависит от атрибута В, а атрибут В функционально зависит от атрибута А, но обратная зависимость отсутствует.