Реляционная алгебра. Операция деления

Деление A Divide By B

Делением отношения А(x1, xn, y1, yn) на B(y1, yn) называется отношение с заголовком (x1, xn) и телом, содержащим множество кортежей (x1, xn) таких, что для всех кортежей (y1, yn) из В в отношении A найдется кортеж (x1, xn, y1, yn) Отношение называется делением, если каждая его запись вместе с любой записью из делителя образует запись, имеющуюся в делимом. Смысл операции: в запросах, реализованных с помощью операции деления, в формулировке есть слово «все» (напр., Какие поставщики поставляют все детали?)