Использование квантора существования в запросах

Квантор существования является понятием, заимствованным из формальной логики. Его смысл заключается в следующем: при задании квантора существования говорят о том, что существует некоторая переменная. В языке SQL квантор существования заменяется оператором EXISTS (существует).

Пусть символ «X» обозначает некоторую произвольную переменную. Тогда в формальной логике оператор с примененным квантором существования EXISTS X (предикат, зависящий от X) принимает значение «истина» тогда и только тогда, когда «предикат, зависящий от X» имеет значение «истина» при каком-либо значении переменной X. Если переменная X может быть любым целым числом, принадлежащим интервалу от 1 до 10, то предикат: EXISTS X (X < 5) принимает значение «истина», тогда как предикат EXISTS X(X < 0) принимает значение «ложь».

В языке SQL предикат с квантором существования представлен может быть представлен выражением вида:

EXISTS (SELECT * FROM …)

Выражение считается истинным только тогда, когда результат вычисления подзапроса, представленного с помощью SELECT * FROM..., является непустым множеством. Выражение истинно тогда и только тогда, когда существует какая-либо запись в таблице, указанной во фразе FROM подзапроса, которая удовлетворяет условию WHERE этого подзапроса.

Пример SQL- запроса с квантором существования для выбора фамилий покупателей, которым продан компьютер «Pentium»: