Деление

Пусть

и - исходные отношения, с множеством атрибутов, и соответственно, так что - общие атрибуты, определенные на одном домене,

и - множества значений общих атрибутов в кортежах.

Тогда

деление - отношение, со схемой , все кортежи которого являются элементами множества , сформулированного по условию .

Например:

1. Получить имена поставщиков, которые поставляют деталь Д2:

2. Получить имена поставщиков, которые поставляют по крайней мере одну красную деталь:

3. Получить номера поставщиков, поставляющих по крайней мере все те детали, которые поставляет поставщик П2:

4. Получить имена поставщиков, которые не поставляют деталь Д2: