========== КАК РАБОТАЕТ EXISTS? ==========

EXISTS - это оператор, который производит верное или неверное значение, другими словами, выражение Буля . Это означает что он может работать автономно в предикате или в комбинации с другими выражениями Буля использующими Булевы операторы AND, OR, и NOT. Он берет подзапрос как аргумент и оценивает его как верный если тот производит любой вывод или как неверный если тот не делает этого. Этим он отличается от других операторов предиката, в которых он не может быть неизвестным. Например, мы можем решить, извлекать ли нам некоторые данные из таблицы Заказчиков если, и только если, один или более заказчиков в этой таблице находятсяся в San Jose ( вывод для этого запроса показывается в Рисунке 12.1 ):
SELECT cnum, cname, city FROM Customers WHERE EXISTS ( SELECT * FROM Customers WHERE city = " San Jose' );
Внутренний запрос выбирает все данные для всех заказчиков в San Jose. Оператор EXISTS во внешнем предикате отмечает, что некоторый вывод был произведен подзапросом, и поскольку выражение EXISTS было полным предикатом, делает предикат верным. Подзапрос( не соотнесенный ) был выполнен только один раз для всего внешнего запроса, и следовательно,

cnum cname city
2001 Hoffman London
2002 Giovanni Rome
2003 Liu San Jose
2004 Grass Berlin
2004 Grass Berlin
2006 Clemens London
2008 Cisneros San Jose
2007 Pereira Rome


Рисунок 12.1 Использование оператора EXISTS

имеет одно значение во всех случаях. Поэтому EXISTS, когда используется этим способом, делает предикат верным или неверным для всех строк сразу, что это не так уж полезно для извлечения определенной информации.