Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
П`ята нормальна форма схем відношень
|
|
Понятие пятой нормальной формы связано с понятием зависимости соединения. Рассмотрим следующий пример. Пусть имеется отношение Поставщик–Товар–Потребитель (ПТП), заданное следующей таблицей: СТР.49-50(3 табл)
У той же час ПТ⏐ > < ⏐ ТП⏐ > < ⏐ ПП = ПТП.
Таким чином, природне з'єднання будь-яких двох проекцій не дає вихідної сполуки. Разом з тим природне з'єднання трьох проекцій призводить до вихідного відношення.
Подібна властивість може бути властива не тільки відносно, але й схемі відносини і стосуватиметься довільного числа проекцій.
Нехай R – схема відносин на безлічі атрибутів U, а A, B,..., Z – довільні підмножини множини U. Схема R задовольняє залежності з'єднання
*{A, B,..., Z}
тоді і тільки тоді, коли будь-яке відношення із схемою R еквівалентно природного з'єднанню його проекцій на A, B,..., Z.
Для залежності з'єднання теорема Фейгіна має наступне формулювання.
Схема R з безліччю атрибутів U = A ∪ B ∪ C задовольняє залежності з'єднання *{AB, AC} тоді і тільки тоді, коли вона задовольняє багатозначною залежності A ⎯ > > B/C.
Формально отримаємо наступне:
A ⎯ > > B/C = *{AB, AC}.
З визначення залежності з'єднання слідує, що з усіх можливих форм це найбільш загальна форма залежності. Тобто не існує більш високого ступеня залежності, по відношенню до якої залежність з'єднання є всього лише окремим випадком.
На підставі залежності з'єднання дається визначення п'ятої нормальної форми.
Схема відношення R знаходиться в п'ятій нормальній формі (5НФ) тоді і тільки тоді, коли кожна нетривіальна залежність з'єднання мається на увазі її ключами.
Залежність з'єднання *{A, B,..., Z} називається тривіальною, якщо одна з проекцій на A, B,..., Z збігається з R.
Задана залежність з'єднання *{A, B,..., Z} мається на увазі ключами тоді і тільки тоді, коли кожна підмножина атрибутів A, B,..., Z фактично є суперключом для схеми R. Таким чином, відносно заданої схеми відношення R можна стверджувати, що вона знаходиться в 5НФ тільки за умови, що відомі всі її ключі і всі залежності з'єднання, наявні в ній. Смислове значення залежностей сполуки, які не є одночасно багатозначними і функціональними, далеко не очевидно. Отже, процедура визначення того, що деяка схема все ще знаходиться в 4НФ, а не в 5НФ, і, таким чином, існує можливість її подальшої декомпозиції, все ще залишається не цілком ясною.
Як випливає з визначення, 5НФ є остаточною нормальною формою по відношенню до операцій проекції і з'єднання. Таким чином, якщо схема знаходиться в 5НФ, то гарантується, що вона не містить аномалій, які можуть бути виключені за допомогою її розбиття на проекції.