Обычно отношение эквивалентности обозначают знаком



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

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

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

. Соединением отношений Определение 8 по условию Определение 8 и Таким образом, операция соединения есть результат последовательного применения операций декартового произведения и выборки. Если в отношениях Определение 8 имеются атрибуты с одинаковыми наименованиями, то перед выполнением соединения такие атрибуты необходимо переименовать.




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

. Отношение пятой нормальной форме (5НФ) тогда и только тогда, когда любая имеющаяся зависимость соединения является тривиальной. Определения 5НФ может стать более понятным, если сформулировать его в отрицательной форме:






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

. Ограничения целостности домена представляют собой ограничения, накладываемые только на допустимые значения домена. Фактически, ограничения домена обязаны являться частью определения домена (см. определение домена в гл. 2). Например, ограничением домена "Возраст сотрудника" может быть условие "Возраст сотрудника не менее 18 и не более 65". Проверка ограничения. Ограничения домена сами по себе не проверяются. Если на каком-либо домене основан атрибут, то ограничение соответствующего домена становится ограничением этого атрибута.



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