Учебное пособие Для студентов университетов Специальностей «Информатика», «Прикладная математика»
жүктеу/скачать 2,58 Mb. Pdf көрінісі
|
| симости соединения
*{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НФ только при условии, что известны все ее ключи и все зависимости соединения, существующие в ней. Смысловое значение 50 зависимостей соединения, которые не являются одновременно много- значными и функциональными, далеко не очевидно. Следовательно, процедура определения того, что некоторая схема все еще находится в 4НФ, а не в 5НФ, и, таким образом, существует возможность ее даль- нейшей декомпозиции, все еще остается не вполне ясной. Как следует из определения, 5НФ является окончательной нормаль- ной формой по отношению к операциям проекции и соединения. Таким образом, если схема находится в 5НФ, то гарантируется, что она не со- держит аномалий, которые могут быть исключены посредством ее раз- биения на проекции. жүктеу/скачать 2,58 Mb. Достарыңызбен бөлісу:
|