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