В базы данных

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

---

103
используется в реляционном исчислении, для того чтобы выполнять 
функцию соединения. 
8.2.3. Квантор всеобщности 
Квантор всеобщности означает, что некоторое условие применяется 
ко всем строкам или к каждой строке некоторого типа. Он используется в 
тех же целях, что и операция деления реляционной алгебры. 
Проиллюстрируем его применение тем же запросом, который 
рассматривался в разделе, описывающем операцию деления. Пусть даны 
два отношения: 
VEDOM RASP