Что такое функциональная зависимость?

Функциональная зависимость — это бинарное отношение между подмножествами атрибутов отношения в реляционной базе данных 3. По сути, это связь типа «один ко многим» 2.

Проще говоря, набор атрибутов A функционально определяет набор атрибутов B, если для каждого допустимого экземпляра базы данных все кортежи с одинаковым значением A также имеют одинаковое значение B 5. Другими словами, если атрибут B функционально зависит от атрибута A, то для каждого значения A существует ровно одно значение B 5.

Концепция функциональной зависимости лежит в основе многих вопросов, связанных с реляционными базами данных, включая их проектирование 2. Она служит для устранения избыточности и предотвращения возможных несогласованностей, тем самым повышая эффективность систем управления базами данных 5.