Составители:
Рубрика:
перечень кортежей из R1 [Ã], которые идентифицируют некоторые объекты предметной
области, при этом каждый из объектов обладал бы совокупностью свойств R2 [A]. Для
того чтобы это сделать, наделим все объекты, задаваемые совокупностью атрибутов Ã и
принадлежащие R1, совокупностью свойств R2[A]. Это можно сделать с помощью
декартова произведения:
R1 [Ã] × R2 [A].
В
конкретном примере с деталями и материалами получим
R1 [ШД] × R2 (ШМ")
д1 м5
д1 м9
д2 м5
д2 м9
д3 м5
д3 м9
Получаемое в результате произведения промежуточное отношение объединимо с
отношением R1. Поэтому можно взять разность:
R1 [Ã] × R2 [A] \ R1 (Ã, A),
которая, будучи спроецированной на список
Ã:
(R1 [Ã] × R2 [A] \ R1 (Ã, A)) [Ã], -
дает перечень объектов, не обладающих списком свойств R2 [A].
На примере:
R1 [ШД] × R2 (ШМ") \ R1 (ШД, ШМ) Результат
д1 м5 д1 м2 д1 м5
д1 м9 \ д2 м5 = д1 м9
д2 м5 \ д2 м9 д3 м9
д2 м9 д2 м3
д3 м5 д
3 м2
д3 м9 д3 м5
и после проектирования получаем список деталей {д1, д3}, которые не могут быть
сделаны как из материала м5, так и из м9.
Таким образом, список объектов, обладающих свойствами R2 [A], т.е. операция
деления, может быть записан следующей формулой:
Rrez (Ã) = R1 [Ã] \ (R1 [Ã] × R2 [A] \
R1 (Ã, A)) [Ã].
Страницы
- « первая
- ‹ предыдущая
- …
- 17
- 18
- 19
- 20
- 21
- …
- следующая ›
- последняя »
