Пусть
и
- исходные отношения, с множеством атрибутов,
и
соответственно, так что
- общие атрибуты, определенные на одном домене,
и
- множества значений общих атрибутов в кортежах.
Тогда
деление
- отношение, со схемой
, все кортежи
которого являются элементами множества
, сформулированного по условию
.
Например:
1. Получить имена поставщиков, которые поставляют деталь Д2:

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

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

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








