8.11.7. Закон деления

π_BC(r(ABCDE)),

q(BC),

q=r : s.

Для реализации запроса на деление необходимо вначале найти те записи, которые не удовлетворяют условию запроса. Потом найти разность и получим результат.

Задача: получить список пилотов, летающих на самолетах из данного списка

Таблица 8.4 – Список самолетов

A

AH-24

АН-26

АН-72

Π_R\s – все пилоты, π_R\s(r)×s – предположение что все пилоты могут летать на самолетах из списка (Таблица 8.4).

1)

p	A
Иванов	АН-2
Иванов	АН-24
Иванов	АН-26
Иванов	АН-72
Петров	АН-24
Петров	АН-26
Яковлев	АН-24
Яковлев	АН-26
Яковлев	АН-72

Таблица 8.5 – Список пилотов, летающих на самолетах

p	A
Иванов	АН-24
Иванов	АН-26
Иванов	АН-72
Петров	АН-24
Петров	АН-26
Яковлев	АН-24
Яковлев	АН-26
Яковлев	АН-72

2)

Таблица 8.5 – Список пилотов, летающих на самолетах

Если из (2) вычесть (1), то получим те записи, которые не удовлетворяют условию.

π_R\s(r) \ π_R\r(r)(( π_R\s×s) \ r) = r:s,

δ_F (r : s) = δ_F (R) : S,

δ_F (r s) = δ_F (R) δ_F (S),

δ (r×s)= δ(r)× δ(s),

δ (r s)= δ(r) δ(s) .