3НФ

- Рассмотрим транзитивную зависимость следующего типа: если А -> В, В -/-> А (В не является ключом), В -> С, то А -> С. В этом случае считается, что С транзитивно зависит от А. Схема отношения находится в третьей нормальной форме относительно множества функциональных зависимостей F, если она находится в 1НФ и ни один из непервичных атрибутов в R не является транзитивно зависимым от ключа для R. Схема всей БД находится в ЗНФ относительно F, если каждая схема отношения находится в ЗНФ относительно F.