Что такое функциональная зависимость? - определение из техопедии

Определение - Что означает функциональная зависимость?

Функциональная зависимость - это отношение, которое существует, когда один атрибут однозначно определяет другой атрибут.

Если R является отношением с атрибутами X и Y, функциональная зависимость между атрибутами представлена ​​как X-> Y, которая указывает, что Y функционально зависит от X. Здесь X - это определитель, а Y - зависимый атрибут. Каждое значение X связано только с одним значением Y.

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

Техопедия объясняет функциональную зависимость

Функциональная зависимость тривиальна, если Y является подмножеством X. В таблице с атрибутами имени сотрудника и номера социального страхования (SSN) имя сотрудника функционально зависит от SSN, поскольку SSN уникален для отдельных имен. SSN конкретно идентифицирует сотрудника, но имя сотрудника не может отличить SSN, потому что несколько сотрудников могут иметь одно и то же имя.

Функциональная зависимость определяет нормальную форму Бойса-Кодда и третью нормальную форму. Это сохраняет зависимость между атрибутами, исключая повторение информации. Функциональная зависимость связана с ключом-кандидатом, который однозначно идентифицирует кортеж и определяет значение всех других атрибутов в отношении. В некоторых случаях функционально зависимые множества неприводимы, если:

• Правый набор функциональных зависимостей содержит только один атрибут
• Левый набор функциональных зависимостей не может быть уменьшен, так как это может изменить весь контент набора
• Уменьшение любой существующей функциональной зависимости может изменить содержимое набора

Важным свойством функциональной зависимости является аксиома Армстронга, которая используется при нормализации базы данных. В отношении R с тремя атрибутами (X, Y, Z) аксиома Армстронга верна, если выполняются следующие условия:

• Аксиома переходности: если X-> Y и Y-> Z, то X-> Z
• Аксиома рефлексивности (свойство подмножества): если Y является подмножеством X, то X-> Y
• Аксиома увеличения: если X-> Y, то XZ-> YZ