Визначення функціональної залежності

ЗМ4. РОЗДІЛ 4. ЛОГІЧНЕ ПРОЕКТУВАННЯ РЕЛЯЦІЙНИХ БАЗ ДАНИХ НА ОСНОВІ ФУНКЦІОНАЛЬНИХ ЗАЛЕЖНОСТЕЙ

Тема 4.1. Створення реляційної моделі даних на основі функціональних залежностей.

1. Визначення функціональної залежності
2. Правила використання функціональних залежностей
3. Проектування реляційних схем на основі форм нормалізації.

Визначення функціональної залежності

Функціональні залежності і їх аналіз дозволяють утворити новий метод визначення відношень – без використання ER-моделі. Метод передбачає, що спочатку усі атрибути утворюють єдине відношення. Потім, на основі побудови і наступного аналізу функціональних залежностей, що існують між атрибутами, проводиться ділення первинного відношення на два окремі відношення на основі певних правил. Над новими відношеннями, якщо умови дозволяють, проводять нове ділення. Процедура ділення відношень продовжується до тих пір, поки умови ділення це дозволяють. Коли процес припиняється, утворюється схема відношень., у яких інформація не дублюється.

Функціональна залежність (functional dependency – FD) для відношення R – це ствердження наступного виду: “Якщо два кортежі відношення R співпадають в атрибутах А₁ , А₂ ,. А_n (кортежі мають однакові значення компонентів для кожного з названих атрибутів), то вони повинні співпадати і в іншому атрибуті, В ”. Формально така залежність записується як А₁ , А₂ ,. А_n → В і свідчить, що А₁ , А₂ ,. А_n функціонально обумовлює В.

Якщо декілька атрибутів, А₁ , А₂ ,. А_n функціонально обумовлюють більше одного атрибуту, тобто

А₁ , А₂ ,. А_n → В ₁

А₁ , А₂ ,. А_n → В ₂

∙∙∙

А₁ , А₂ ,. А_n → В _n
дозволяється використовувати наступне скорочене представлення набору подібних FD

А₁ , А₂ ,. А_n → В ₁ , В₂, В_n
На рис.1. представлена діаграма, що відображує функціональну залежність на прикладі двох кортежів t і u відношення R.

Приклад 1. На рис.2. представлений екземпляр відношення

Movies (title, year, length, filmType, studioName, starName). Необхідно для нього вказати декілька можливих FD.

Рис.2. Екземпляр відношення Movies (title, year, length, filmType, studioName, starName).

Аналіз кортежів екземпляру відношення дозоляє стверджувати, що згідно з визначенням FD, ними можуть бути наступні:

title year → length

title year → filmType (1)

title year → studioName

Оскільки їх ліва частина однакова, їх можна представити так:

title year → length filmType studioName (2)

Існуючу залежність атрибутів правої частини від атрибутів, що входять до лівої частини, можливо пояснити тим, що атрибути лівої частини утворюють ключ відношення Movies. А однакові значення ключа передбачають і однакові компоненти для тієї частини атрибутів правої частини, які функціонально залежать від ключа.

У той же час вираз

title year → starName

не є функціональною залежністю, оскільки у кінофільмі бере участь декілька кіноакторів. На основі цього прикладу можемо сформувати умови, що певний набір атрибутів є ключем відношення.

1. Атрибути А₁ , А₂ ,. А_n функціонально обумовлюють усі інші атрибути відношення. Крім того відсутні кортежі, компоненти яких повністю співпадають.

2. Ні одна із дозволених підмножин множини (А₁ , А₂ ,. А_n) не являється функціональною залежністю для усіх інших атрибутів відношення, тобто ключ є мінімальним

Поиск по сайту: