Функциональная зависимость обычно обозначается как
Определение 2
. Функциональная зависимость (функция) - это тройка объектов область определения),
множество значений),
ставится в соответствие один и только один элемент правило функциональной зависимости).
Функциональная зависимость обычно обозначается как .
Замечание. Правило Функциональная зависимость атрибутов отношения тоже напоминает это определение. Действительно:
В качестве области определения выступает домен, на котором определен атрибут является множеством атрибутов)
В качестве множества значений выступает домен, на котором определен атрибут
Правило найти любой кортеж отношения, содержащий это значение, 2) значение атрибута .