102
СКЛАД, содержащая требуемый Код_дет и где s.Кол_дет > t.Количество.
Это формируется следующим образом:
exists s in СКЛАД
(s.Код_дет = t.Код_дет and s.Кол дет > t.Количество).
Такое выражение читается: "Существует строка s в отношении
СКЛАД такая, что s.Код_дет = t.Код_дет и s. Код_дет > t.Количество".
Приведенное выражение определяет строку t. Если оно истинно, то
есть для
строки t существует такая строка s, то t.Hазв_дет помещается в
результирующее отношение. Если выражение ложно — то есть такой
строки s не существует — тогда t.Назв_дет не помещается в
результирующее отношение.
Полное решение в реляционном исчислении выглядит следующим
образом:
{t.Назв_дет ⎟ t in ПОТРЕБНОСТИ and exists s in СКЛАД (s.Код_дет =
t.Код_дет and s.Кол_дет > t.Количество )}.
Оно
описывает отношение, состоящее из одного столбца и
содержащее названия деталей, взятых из строк отношения
ПОТРЕБНОСТИ. Данное название помещается в отношение решения,
если его строка t удовлетворяет условию после знака "⎟".
Рассмотрим подробнее вышеописанный механизм обработки
нескольких строк отношения ПОТРЕБНОСТИ, чтобы понять, как будет
применяться условие.
Первая строка отношения ПОТРЕБНОСТИ (которая обозначена t)
имеет
Назв_дет = А, и оно будет помещено в результирующее отношение,
если в отношении СКЛАД существует строка, в которой Код_дет = ‘01’, а
Кол_дет > t.Количество. Такая строка действительно существует, и она
обозначена как s. Итак, t удовлетворяет определяющему условию, поэтому
t.Hазв_дет помещается в отношение решения. Этот процесс должен
повториться для каждой строки
отношения ПОТРЕБНОСТИ. Когда
закончена обработка первой строки, вторая строка обозначена t, и теперь
уже для нее ищется соответствующая строка s в отношении СКЛАД.
Такой строки не существует, поэтому Д не помещается в результирующее
отношение. Продолжая дальше обработку строк отношений по указанному
алгоритму, получим множество решения, которое составит новое
отношение, и будет выглядеть
следующим образом:
Назв_дет
A
В
В реляционной алгебре для выполнения этого запроса требуется
соединение. Таким образом, было показано, как квантор существования