Операция divide (деление)
Пусть заданы отношения R(A, B1) и S(B2, C) такие, что B1 и B2
определены на одном и том же домене (доменах). Тогда R[B1÷B2]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
