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