Деление

Пусть

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

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

 

Тогда

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

 

Например:

 

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

 

 

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

 

 

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

 

 

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