nxxFogelпропущено...


хорошо, а почему сделали-то так ?
где логика ?
Логика здесь так стоит
Оператор вида


развертывается так:
(subquery) интерпретируется как множество X:


=>y compare_op ALL (subquery) = y compare_op ALL (X)
compare_op ALL развертывается так:


[не существует такого элемента x в множестве X, определяемым результатом выполнения
subquery, для которого (y compare_op x) != true ]
Поэтому для

результат сравнения - Истина (в множестве результатов возвращаемых (select 1 from dual where 1=0) нет элементов, поэтому не существует даже кандидата на то, чтобы дать Ложь
при сравнении с 999.
Элемента, способного не дать истину при сравнении с 999, не существует).

Наоборот,


развертывается как



Из этого следует, например, что


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



Но

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



Для ANY в этом случае достаточно существования хотя бы одного элемента {x:(subquery)}
для которого
,

а NOT IN разворачивается NOT (y = ANY (subquery)),
т.е. (y != x) = true должно выполнится для каждого x из subquery.
т.е. NOT IN эквивалентен y != ALL(subquery)