Описание тега functional-dependencies

Описание тега Вопросы с тегом

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

Функциональные зависимости являются фундаментальными для процесса нормализации.

Для данного отношения R набор атрибутов X в R, как говорят, функционально определяет набор атрибутов Y, также в R (пишется X → Y), если и только если, когда два кортежа совпадают по всем атрибутам X, они также совпадают по всем признакам Y. Правильная, полная и неизбыточная аксиоматизация функциональных зависимостей дается правилами Армстронга. Функциональные зависимости также используются в языке программирования Haskell для описания отношений между типами и поддержки реляционного программирования на уровне типов.

Другими словами, зависимость FD: X → Y означает, что значения Y определяются значениями X. Два кортежа с одинаковыми значениями X обязательно будут иметь одинаковые значения Y.

https://stackru.com/images/06d915b1bca32f75ea9d36964fccbf0cd3416590.png