СУБД ЛИНТЕР — Документация

Предикат выборки

Функция

Определение условия выборки.

Спецификация

<предикат выборки>::=

значимое выражение предикат сравнения условие запрос выборки

<условие>::=

ALL | {SOME | ANY}

Синтаксические правила

Типы данных <значимого выражения> и <запроса выборки> должны быть совместимы.
ANY является синонимом SOME.

Общие правила

<Условие> ANY берет все записи выборки данных, возвращаемые <запросом выборки>, и оценивает их как верные, если хотя бы один из них удовлетворяет <операции сравнения>.
```
SELECT Name FROM Person
  WHERE PersonID = ANY(SELECT PersonID FROM Auto);

select distinct c1 from tab1, tab2 where c1<>c2;
```
это то же самое, что
```
select c1 from tab1 where c1<> any (select c2 from tab2);
```
<Условие> ALL берет все записи выборки данных, возвращаемые <запросом выборки>, и оценивает их как верные, если все они удовлетворяют <предикат сравнения>.
```
SELECT Name FROM Person
  WHERE Salary <= ALL (SELECT Salary FROM Person);
```
Результат <предиката выборки> выводится путем применения <предиката сравнения> к каждой записи выборки данных из <запроса выборки>. При этом возможны следующие ситуации:
- если <запрос выборки> пуст, или <предикат сравнения> является истинным для каждой записи выборки данных из <запроса выборки>, то результат <значимое выражение> <предикат сравнения> ALL(<запрос выборки>) имеет значение «истина» (TRUE);
- если <предикат сравнения> имеет значение «ложь» (FALSE) хотя бы для одной записи выборки данных из <запроса выборки>, то результат <значимое выражение> <предикат сравнения> ALL(<запрос выборки>) имеет значение «ложь» (FALSE);
  
  Получить список лиц, чья зарплата больше, чем у всех остальных:
```
SELECT Name FROM Person
  WHERE Salary >= ALL (SELECT Salary FROM Person);
```
- если <предикат сравнения> имеет значение «истина» (TRUE) хотя бы для одной записи выборки данных из <запроса выборки>, то результат <значимое выражение> <предикат сравнения> {SOME | ANY} <запрос выборки> имеет значение «истина» (TRUE);
  
  Удалить из table_1 те строки, номера которых встречаются в table_2:
```
delete from table_1 where number = ANY (select some_numbers from table_2)
```
- если результат <запроса выборки> пуст или результатом неявно заданного <предиката сравнения> для каждой записи выборки данных из <запроса выборки> является «ложь» (FALSE), то результатом <значимое выражение> <предикат сравнения> {SOME | ANY} <запрос выборки> будет «ложь» (FALSE);
- если результатом <предиката выборки> не являются ни TRUE, ни FALSE, значение его не определено (NULL-значение).

Примечание

Кванторные предикаты c помощью отрицания легко преобразовываются один в другой: ALL к ANY и обратно. С другой стороны, нет такого запроса, сформулированного с их использованием, который нельзя было бы в равной степени хорошо, и даже лучше, сформулировать, используя EXISTS, IN-предикат и агрегатные функции, например:

select c1 from tab1 where c1<> all (select c2 from tab2);

эквивалентно

select c1 from tab1 where c1 not in (select c2 from tab2);

или

select c1 from tab1 where not exists (select c2 from tab2 where c1=c2);

Примеры

create or replace table "Справочник автопроизводителей" (make char(20));
insert into "Справочник автопроизводителей"  values('FORD');
insert into "Справочник автопроизводителей"  values('VAZ');
insert into "Справочник автопроизводителей"  values('FIAT');

SELECT count(make)  FROM auto
WHERE make = ANY(table "Справочник автопроизводителей" );
|        143|

SELECT count(make)  FROM auto  WHERE make = ANY(values ('FORD'));