Поняття і визначення функціональної залежності. Дослідження процесу декомпозиції. Процедура нормалізації, роль функціональних залежностей для формулювання цієї концепції. Замикання множини атрибутів. Вивчення поняття детермінанту і залежної частини.
Аннотация к работе
Міністерство освіти і науки молоді та спорту України Технічний Коледж Національного університету «Львівська політехніка»На додаток до звичних атрибутів S#,Р# і QTY додамо атрибут СІТУ, що представляє місто відповідного постачальника. Для будь-якого відношення розрізняються: а) значення цього відношення (тобто значення змінної відношення) в певний момент часу; б) набір всіх можливих значень, які дане відношення (змінна) може приймати в різні моменти часу. У функціонально залежно від X (позначається X®У і читається або як "X функціонально визначає У", або як "X стрілка У"), тоді і тільки тоді, коли кожне значення підмножини X відношення R звязане в точності з одним значенням підмножини У відношення R. Інакше кажучи, якщо два кортежі відношення R співпадають по значенню X, вони також співпадають і по значенню У.Одним із способів скорочення розміру множини ФЗ є виключення тривіальних залежностей, тобто таких, які не можуть не виконуватися. ФЗ тривіальна тоді і тільки тоді, коли права частина є підмножиною (не обовязково власним) лівої частини. Безліч всіх ФЗ, які задаються даним безліччю функціональних залежностей S, називається замиканням S і позначається символом S . Армстронгом (Armstrong) представлений набір правил висновку функціональних залежностей на основі заданих залежностей (ці правила називаються аксіомами Армстронга). У перерахованих нижче правилах А, В і С - довільні підмножини безлічі атрибутів заданого відношення R, а символічний запис АВ означає обєднання А і В.Нехай S1 і S2 є двома множинами ФЗ. Якщо будь-яка ФЗ, що є залежністю множини S1, також є залежністю множини S2, тобто якщо S1 I S2 , то S2 називається покриттям для S1. Це значить, що якщо накладають у СУБД обмеження представлені залежностями множини S2, то в цієї СУБД також накладені обмеження на основі залежностей множини S1. Якщо S1 і S2 еквівалентні й накладені в СУБД обмеження представлені залежностями множини S2, то ці обмеження також можуть бути представлені залежностями множини S1. Ліва частина (детермінант) кожної ФЗ множини S є що не приводить, тобто жоден атрибут не може бути опущений з детермінанта без зміни замикання S (без конвертування множини S у деяку множину, не еквівалентне множині S).У загальному випадку нормалізація - це розбивка таблиці на дві або більше, що володіють кращими властивостями при включенні, зміні й видаленні даних. Остаточна мета нормалізації зводиться до одержання такого варіанта структури бази даних, у якому кожний факт зявляється лише в одному місці, тобто виключена надмірність інформації. Перш ніж приступати до розгляду процедури нормалізації, розглянемо роль функціональних залежностей для формулювання цієї концепції. Процедура нормалізації включає розбивку, або декомпозицію даного відношення на інші відносини, причому декомпозиція повинна бути оборотної, тобто виконуватися без втрат інформації.
План
План функціональний залежність детермінант нормалізація декомпозиція