Съдържание:
Определение - Какво означава функционална зависимост?
Функционалната зависимост е връзка, която съществува, когато един атрибут еднозначно определя друг атрибут.
Ако R е връзка с атрибути X и Y, функционалната зависимост между атрибутите е представена като X-> Y, която указва, че Y е функционално зависима от X. Тук X е определящ набор и Y е зависим атрибут. Всяка стойност на X е свързана с точно една Y стойност.
Функционалната зависимост в база данни служи като ограничение между два набора атрибути. Определянето на функционална зависимост е важна част от дизайна на релационни бази данни и допринася за нормализирането на аспектите.
Техопедия обяснява функционалната зависимост
Функционалната зависимост е тривиална, ако Y е подмножество от X. В таблица с атрибутите на името на служителя и номера на социалното осигуряване (SSN) името на служителя функционално зависи от SSN, тъй като SSN е уникален за отделни имена. SSN идентифицира конкретно служителя, но името на служителя не може да различи SSN, тъй като повече от един служител може да има същото име.
Функционалната зависимост определя нормалната форма на Boyce-Codd и третата нормална форма. Това запазва зависимост между атрибутите, елиминирайки повторението на информацията. Функционалната зависимост е свързана с кандидат-ключ, който уникално идентифицира кортеж и определя стойността на всички останали атрибути във връзката. В някои случаи функционално зависимите набори са неприводими, ако:
- Десният набор от функционална зависимост съдържа само един атрибут
- Левият набор от функционална зависимост не може да бъде намален, тъй като това може да промени цялото съдържание на множеството
- Намаляването на някоя от съществуващите функционални зависимости може да промени съдържанието на набора
Важно свойство на функционалната зависимост е аксиомата на Армстронг, която се използва при нормализиране на базата данни. Във връзка R, с три атрибута (X, Y, Z), аксиомата на Армстронг е вярна, ако са изпълнени следните условия:
- Аксиома на транзитивност: Ако X-> Y и Y-> Z, тогава X-> Z
- Аксиома на рефлексивността (свойство на подмножеството): Ако Y е подмножество на X, то X-> Y
- Аксиома на увеличението: Ако X-> Y, тогава XZ-> YZ
