Пусть отношения А и В имеют заголовки {X, Y} и {Y} соответственно. Атрибуты X и Y могут быть составными, одинаково названные атрибуты двух отношений определены на одних и тех же доменах. Тогда для них определена реляционная операция деления, которая обозначается как А / В
A DIVIDEBY В
На языке SQL деление записывается через два вложенных запроса с коррелированной обработкой:
SELECT DISTINCT А.Х
FROM А
WHERE NOT EXISTS (SELECT *
FROM В
WHERE NOT EXISTS (SELECT *
FROM A as A1
WHERE Al.X = A. X AND Al.Y = В. Y))
