обычно это свойство подразумевает существование
обычно это свойство подразумевает существование требований, относящихся к технике путей доступа.
2.1.5. Ограничение. Подмножество отношения является отношением. Один из способов воздействия отношения S на отношение R для получения подмножества R заключается в применении операции ограничения отношения R по отношению S. Эта операция является обобщением ограничения функции на подмножество ее области определения и определяется следующим образом.
Пусть L, M – списки индексных значений одинаковой длины такие, что L = i1, i2,..., ik, M = j1, j2, ..., jk, где k≤ степень R и k≤ степень S. Тогда L,M-ограничение R по S, обозначаемое как RL|MS, есть максимальное подмножество R' множества R, такое, что
πL(R') = πM
(S).
Эта операция определена только в том случае, если применима операция равенства между элементами πih( R), с одной стороны и pjh(S), с другой, для всех h=1,2,...k.
Три отношения R, S, R', приведенные на рис.13, удовлетворяют соотношению R'=R(2,3)|(1,2)S.
R ( s р j ) |
S( р j ) |
R"( s р j ) |
1 a A |
a A |
1 a A |
2 a A |
c B |
2 a A |
2 a B |
b B |
2 b B |
2 b A |
|
|
2 b B |
|
|
Рисунок 13. Пример ограничения
Теперь мы готовы рассмотреть различные применения этих операций над отношениями.
Содержание Назад Вперед