Расширение реляционной модели для лучшего отражения семантики


Операция divide (деление)


Пусть заданы отношения R(A, B1) и S(B2, C) такие, что B1 и B2

определены на одном и том же домене (доменах). Тогда R[BB2]S – это максимальное подмножество R[A] такое, что его декартово произведение с S[B2] включается в R. Этот оператор является алгебраическим двойником квантора всеобщности.

Пример DIVIDE:

R ( A B ) S ( C ) p 1 1 p 2 3 p 3 q 1 R[B÷C]S ( A ) r 1 p

r 3 r




Начало  Назад  Вперед



Книжный магазин