Базы данных. Основы SQL реляционных баз данных. Копейкин М.В - 20 стр.

UptoLike

Полученное выражение точно описывает смысл операции деления и включает в
себя ранее введенные операции реляционной алгебры.
Продолжая конкретный пример, получим
Rrez (ШД) = R1[ШД] \ (R1[ШД] × R2[ШМ] \ R1(ШД, ШМ)) [ШД]
{д1, д2, д3} \ {д1, д3} = {д2}
1.2.3. Алгоритм операции деления
Алгоритм операции деления фактически определен ее формулой:
R1 [A ÷ O] R2 = R1 [Ã] \ ((R1 [Ã] × R2 [O]) \ R1)[Ã].
Необходимо только соблюдать старшинство операций:
1) Операции в скобках,
2) ×, [], \
Рассмотрим алгоритм на примере отношений R1(ЩД, ШМ) (рис. 1.5), R2(ШМ")
(рис. 1.6):
1) R1 [Ã] = R1 [ШД]
d1
d2
d3
2) R2 [Ã] × R2 [O] = [ШД, ШМ] = R3 Из R3 вычитаем R1
д1 м5 R1(ШД, ШМ)
д1 м9 д1 м2
д2 м5 д2 м5
д2 м9 д2 м9
д3 м5 д3 м2
д3 м9 д3 м5
д2 м3
3) R2[Ã] × R2[O] \ R1 = R3 \ R1 = R4(ШД, ШМ)
д1 м5
д1 м9
д3 м9
4) В полученном отношении R4 берется проекция по Ã=ШД, т.е.
получаем отношение R5:
R5(ШД)
d1 т.е. список деталей, которые не могут быть сделаны
d3 как из материала м5, так и м9.