Если даны два атрибута X и Y некоторого отношения, то говорят, что Y функционально зависит от X, если в любой момент времени каждому значению X соответствует ровно одно значение Y – такая зависимость именуется функциональной зависимостью (обозначается X→Y).
X и Y могут представлять собой не только единичные атрибуты, но и группы, составленные из нескольких атрибутов одного отношения. Функциональные зависимости представляют собой связи типа "один ко многим", существующие внутри отношения.
Избыточная функциональная зависимость – зависимость, заключающая в себе такую информацию, которая может быть получена на основе других зависимостей, имеющихся в базе данных.
Полная функциональная зависимость присутствует, когда неключевой атрибут функционально полно зависит от составного ключа если он функционально зависит от всего ключа в целом, но не находится в функциональной зависимости от какого-либо из входящих в него атрибутов.
Транзитивная функциональная зависимость: пусть X, Y, Z – три атрибута некоторого отношения. При этом →Y и Y→Z, но обратное соответствие отсутствует, т.е. Z-/->Y и Y-/->X. Тогда Z транзитивно зависит от X.
Неключевым атрибутом называется любой атрибут отношения, не входящий в состав первичного ключа (в частности, первичного).
Два или более атрибута взаимно независимы, если ни один из этих атрибутов не является функционально зависимым от других.
Простой атрибут – атрибут, значения которого атомарны (неделимы).
Сложный атрибут – получается соединением нескольких атомарных атрибутов, которые могут быть определены на одном или разных доменах. (его также называют вектор или агрегат данных).
Первичный ключ – атрибут или набор атрибутов, который используется в данном отношении для идентификации (различения) кортежей (записей). Значение ключа, следовательно, уникально для каждой записи.
Возможный ключ – атрибут или набор атрибутов, который может быть использован для данного отношения в качестве первичного ключа.
Детерминант – любой атрибут, от которого полностью функционально зависит некоторый другой атрибут.
Нормализация – устранение избыточных функциональных зависимостей.
Отношение находится в 1NF если значения всех его атрибутов атомарны.