Функциональная зависимость. Для этих нормальных форм справедливо отношение: отношение в более высокой НФ является отношением и в предыдущей НФ

Для этих нормальных форм справедливо отношение: отношение в более высокой НФ является отношением и в предыдущей НФ, но дополнительно удовлетворяет нескольким критериям. За основу принимается отношение в 1НФ. Отношение в 1НФ – отношение. Удовлетворяющее фундаментальным свойствам отношений (все атрибуты атомарные, все кортежи уникальны).

В отношении R атрибут X функционально зависит от атрибута Y, если каждому значению Y соответствует в точности одно значение X (R.X (r) R.Y).