![]() КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
Пятая нормальная форма.Функциональные и многозначные зависимости позволяют произвести декомпозицию исходного отношения без потерь на две проекции. Можно, однако, привести примеры отношений, которые нельзя декомпозировать без потерь ни на какие две проекции. Определение 5. Пусть тогда и только тогда, когда оно равносильно соединению всех своих проекций с подмножествами атрибутов
Покажем, что зависимость соединения является обобщением понятия многозначной зависимости. Действительно, согласно теореме Фейджина, отношение Теорема Фейджина (другая формулировка). Отношение Т.к. теорема Фейджина является взаимно обратной, то ее можно взять в качестве определения многозначной зависимости. Таким образом, многозначная зависимость является частным случаем зависимости соединения, т.е., если в отношении имеется многозначная зависимость, то имеется и зависимость соединения. Обратное, конечно, неверно. Определение 6. Зависимость соединения · Одно из множеств атрибутов · Ни одно из множеств атрибутов не совпадает со всем множеством атрибутов отношения Для удобства работы сформулируем это определение так же и в отрицательной форме: Определение 7. Зависимость соединения · Либо все множества атрибутов · Либо одно из множеств атрибутов совпадает со всем множеством атрибутов отношения Определение 8. Отношение Определения 5НФ может стать более понятным, если сформулировать его в отрицательной форме: Определение 9. Отношение
|