Деление

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

, причем атрибуты

- общие для двух отношений. Делением отношений

на

называется отношение с заголовком

и телом, содержащим множество кортежей

, таких, что для всех кортежей

в отношении

найдется кортеж

Отношение

выступает в роли делимого, отношение

выступает в роли делителя. Деление отношений аналогично делению чисел с остатком.

Синтаксис операции деления:

Замечание. Типичные запросы, реализуемые с помощью операции деления, обычно в своей формулировке имеют слово "все" - "какие поставщики поставляют все детали?".

Пример 11. В примере с поставщиками, деталями и поставками ответим на вопрос, "какие поставщики поставляют все детали?".

В качестве делимого возьмем проекцию

, содержащую номера поставщиков и номера поставляемых ими деталей:

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