Зміст:
Визначення - Що означає функціональна залежність?
Функціональна залежність - це відношення, яке існує, коли один атрибут однозначно визначає інший атрибут.
Якщо 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
