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