Краткие теоретические сведения. Если даны два атрибута X и Y некоторого отношения, то говорят, что Y функционально зависит от X, если в любой момент времени каждому значению X соответствует

Если даны два атрибута X и Y некоторого отношения, то говорят, что Y функционально зависит от X, если в любой момент времени каждому значению X соответствует ровно одно значение Y – такая зависимость именуется функциональной зависимостью (обозначается X→Y).

X и Y могут представлять собой не только единичные атрибуты, но и группы, составленные из нескольких атрибутов одного отношения. Функциональные зависимости представляют собой связи типа "один ко многим", существующие внутри отношения.

Избыточная функциональная зависимость – зависимость, заключающая в себе такую информацию, которая может быть получена на основе других зависимостей, имеющихся в базе данных.

Полная функциональная зависимость присутствует, когда неключевой атрибут функционально полно зависит от составного ключа если он функционально зависит от всего ключа в целом, но не находится в функциональной зависимости от какого-либо из входящих в него атрибутов.

Транзитивная функциональная зависимость: пусть X, Y, Z – три атрибута некоторого отношения. При этом →Y и Y→Z, но обратное соответствие отсутствует, т.е. Z-/->Y и Y-/->X. Тогда Z транзитивно зависит от X.

Неключевым атрибутом называется любой атрибут отношения, не входящий в состав первичного ключа (в частности, первичного).

Два или более атрибута взаимно независимы, если ни один из этих атрибутов не является функционально зависимым от других.

Простой атрибут – атрибут, значения которого атомарны (неделимы).

Сложный атрибут – получается соединением нескольких атомарных атрибутов, которые могут быть определены на одном или разных доменах. (его также называют вектор или агрегат данных).

Первичный ключ – атрибут или набор атрибутов, который используется в данном отношении для идентификации (различения) кортежей (записей). Значение ключа, следовательно, уникально для каждой записи.

Возможный ключ – атрибут или набор атрибутов, который может быть использован для данного отношения в качестве первичного ключа.

Детерминант – любой атрибут, от которого полностью функционально зависит некоторый другой атрибут.

Нормализация – устранение избыточных функциональных зависимостей.

Отношение находится в 1NF если значения всех его атрибутов атомарны.