Обычно отношение порядка обозначают знаком



Определение 9

. Отношение Обычно отношение порядка обозначают знаком Определение 9 называется отношением порядка, если оно обладает следующими свойствами:
  1. Обычно отношение порядка обозначают знаком Определение 9 (рефлексивность)
  2. Если Обычно отношение порядка обозначают знаком Определение 9, то Обычно отношение порядка обозначают знаком
  3. Если Обычно отношение порядка обозначают знаком Определение 9, то Обычно отношение порядка обозначают знаком
Обычно отношение порядка обозначают знаком Обычно отношение порядка обозначают знаком Определение 9 и Обычно отношение порядка обозначают знаком Определение 9, то говорят, что Обычно отношение порядка обозначают знаком Определение 9. Как и для отношения эквивалентности, условия 1-3 в таких обозначениях выглядят более естественно:
  1. Обычно отношение порядка обозначают знаком Определение 9 (рефлексивность)


  2. Если Обычно отношение порядка обозначают знаком Определение 9, то Обычно отношение порядка обозначают знаком
  3. Если Обычно отношение порядка обозначают знаком Определение 9, то Обычно отношение порядка обозначают знаком


Определение 9

. Пусть отношение Обычно отношение порядка обозначают знаком Определение 9, отношение Обычно отношение порядка обозначают знаком Определение 9, а Обычно отношение порядка обозначают знаком Определение 9 и т.д.). Тогда Обычно отношение порядка обозначают знаком соединением отношения Обычно отношение порядка обозначают знаком Определение 9 с отношением Обычно отношение порядка обозначают знаком Определение 9 называют отношение Обычно отношение порядка обозначают знаком Это частный случай операции общего соединения. Иногда, для операции Обычно отношение порядка обозначают знаком Обычно отношение порядка обозначают знаком




Определение 9

. Отношение Обычно отношение порядка обозначают знаком 5НФ, если в отношении найдется нетривиальная зависимость соединения. Возвращаясь к примеру 3, становится понятно, что не зная ничего о том, какие потенциальные ключи имеются в отношении и как взаимосвязаны атрибуты, нельзя делать выводы о том, находится ли данное отношение в 5НФ (как, впрочем, и в других нормальных формах). По данному конкретному примеру можно только предположить, что отношение в примере 3 не находится в 5НФ. Предположим, что анализ предметной области позволил выявить следующие зависимости атрибутов в отношении Обычно отношение порядка обозначают знаком (i) Отношение Обычно отношение порядка обозначают знаком (ii) Имеется следующая зависимость (довольно странная, с практической точки зрения): если в отношении Обычно отношение порядка обозначают знаком Определение 9, Обычно отношение порядка обозначают знаком Определение 9, то отсюда следует, что в отношении Обычно отношение порядка обозначают знаком Определение 9. Утверждение. Докажем, что при наличии ограничений (i) и (ii), отношение находится в 4НФ, но не в 5НФ. Доказательство. Покажем, что отношение Обычно отношение порядка обозначают знаком Покажем, что отношение не находится в 5НФ. Для этого нужно привести пример нетривиальной зависимости соединения. Естественным кандидатом на нее является Обычно отношение порядка обозначают знаком Определение 9, Обычно отношение порядка обозначают знаком Определение 9 не совпадает с множеством всех атрибутов отношения Обычно отношение порядка обозначают знаком Но является ли такая декомпозиция именно зависимостью соединения? Для этого нужно показать, что декомпозиция на три проекции Обычно отношение порядка обозначают знаком Определение 9 и Обычно отношение порядка обозначают знаком Определение 9 (именно здесь содержится ключевая тонкость, обычно пропускаемая при анализе конкретного состояния отношения Обычно отношение порядка обозначают знаком Как и в предыдущих доказательствах, нужно доказать, что Обычно отношение порядка обозначают знаком Определение 9. Включение Обычно отношение порядка обозначают знаком Определение 9. Докажем включение Обычно отношение порядка обозначают знаком Пусть кортеж Обычно отношение порядка обозначают знаком Определение 9 содержится кортеж Обычно отношение порядка обозначают знаком Определение 9 содержится кортеж Обычно отношение порядка обозначают знаком Определение 9 содержится кортеж Обычно отношение порядка обозначают знаком Определение 9, Обычно отношение порядка обозначают знаком Определение 9 атрибутов Обычно отношение порядка обозначают знаком Определение 9 и Обычно отношение порядка обозначают знаком Определение 9 содержит кортежи Обычно отношение порядка обозначают знаком Определение 9 и Обычно отношение порядка обозначают знаком Определение 9 содержится также и кортеж Обычно отношение порядка обозначают знаком Утверждение доказано.




Определение 9

. Ограничение целостности атрибута представляют собой ограничения, накладываемые на допустимые значения атрибута вследствие того, что атрибут основан на каком-либо домене. Ограничение атрибута в точности совпадают с ограничениями соответствующего домена. Отличие ограничений атрибута от ограничений домена в том, что ограничения атрибута проверяются. Если логика предметной области такова, что на значения атрибута необходимо наложить дополнительные ограничения, помимо ограничений домена, то такие ограничения переходят в следующую категорию. Проверка ограничения. Ограничение атрибута является немедленно проверяемым ограничением. Действительно, ограничение атрибута не зависит ни от каких других объектов базы данных, кроме домена, на котором основан атрибут. Поэтому никакие изменения в других объектах не могут повлиять на истинность ограничения.



Содержание раздела