SYИ почему-же у ANY изначальное FALSE а у ALL изначальное TRUE?Видимо для того, чтоб имело смысл переключать true -> false и false -> true а не false -> false.
SYНе говоря о том что это уже implementation так-как для ANY прoще искать одно соответствие (и посему установить изначальное в FALSE) а для ALL одно не соответствие (и посему установить изначальное в TRUE).Так и делается. Рекомендую перечитать мое сообщение еще раз.
SYВопрос в том что есть результат сравнения скалярa с элементом пустого множества (TRUE/FALSE/UNKNOWN)?Касательно обсуждения оксюморонов типа "элемент пустого множества" это не ко мне. Пустое множество на то и пустое, что в нем нет элементов.

А то, что пустое множество в случае скаляра преобразуется в NULL ну так это особенности SQL.

AmKadНу вотЕсли всмонить о том, что сначала выполняется where а потом группировка, то все становится на свои места.
Твоя collect как раз и добавляет группировку по константам в запрос.

AmKaddbms_photoshopЕсли мы затронули пустые строки, то воспользуясь случаем замечу, что Оракловая реализация отстой.Здесь я могу с тобой согласиться. Но поведение = all при no rows returned я считаю нелогичным. Можете кидать в меня камнями.Его можно считать НЕинтуитивным и тут я даже могу с тобой согласиться, но ошибочно считать нелогичным.

Как я уже заметил, взглянуть по новому помогает понимание функционального программирования и в частности понятия tail-recursive .

Например, в той же scala, если цель проверить равенство элемента всем элементам множества,
то выполняется проверка для первого элемента и рекурсивный вызов прокерки для оставшихся.
Останов происходит либо когда получили НЕравенство либо когда множество пустое.
При этом, когда множество пустое мы НЕ знаем оно было изначально пустым или мы пришли на последний уровень рекурсии.
И это НЕ особенность реализации.

Так что я лишний раз бы рекомендовал не зацикливать свою жизнь на Оракле, а изучать другие языки и инструменты.
Поизучай scala и просто попытайся написать проверку с использованием функционального подхода.
Потом люди, способные мыслить только императивно будут вызывать у тебя лишь улыбку или сожаление...
или что-то еще в зависимости от того насколько агрессивно и самоуверенно они остаивают свою правоту.

AmKad,

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

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

В великолепной резонансной теме ( regexp_like ) я порекомендовал авторше почитать про конечные автоматы,
если она хочет продолжить разговор на тему почему задача не разрешима регулярными выражениями,
но почему-то мой пост с ссылкой потерли, при том что я там никого не оскорблял.
Что как бы намекает на компетенцию модераторов (точнее отдельного кадра (видимо tru55) который решил потереть то, что было написано).

nxxмне казалось что sql задумывался для аналитиков, поближе к естественному языкуА ты логику в универе учил? Квантор всеобщности, квантор существования и всё такое?

Утверждение
тождественно эквивалентно

Сергей Арсеньев
Подобные формулировки только запутывают имхо.
Во-первых, "= any" не бинарная операция и по сути вообще никакого сравнения не выполнялось.
Во-вторых, раз ты так же уверенно как SY используещь формулировку "члену пустого множества" может приведешь определение что это?
Или это нельзя понять, а можно только почувствовать? :))

dbms_photoshopСергей Арсеньев
Подобные формулировки только запутывают имхо.
Во-первых, "= all" (и "= any" тоже) не бинарная операция и по сути вообще никакого сравнения не выполнялось.
Во-вторых, раз ты так же уверенно как SY используещь формулировку "члену пустого множества" может приведешь определение что это?
Или это нельзя понять, а можно только почувствовать? :))Fixed.

Сергей Арсеньеввыше пропущено слово любомуПосле введения квантора стало получше.
Что-то у меня проблемы с концентрацией сегодня.

Staxdbms_photoshop скормил фразу "В этой комнате все драконы красные" dbms_sql2.expand_sql_text
результат трансформации в (+) оказался "В этой комнате нет не красных драконов", а ето утверждение для пустой комнаты TRUE

Бага трансформации из ANSI в natural Исключительно как ирония: