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