Определение 11.
Определение 11.
Пусть отношение






- либо кортеж
- либо найдется конечная последовательность элементов
принадлежат отношению
Очевидно, что
Определение 11
. Пусть даны отношения , причем атрибуты
Делением отношений
называется отношение с заголовком
, таких, что для всех кортежей
найдется кортеж
Отношение
делимого, отношение
делителя. Деление отношений аналогично делению чисел с остатком.
Синтаксис операции деления:
Замечание. Типичные запросы, реализуемые с помощью операции деления, обычно в своей формулировке имеют слово "все" - "какие поставщики поставляют все детали?".