ANY и ALL, если ни одна строка не возвращается

Question

В Oracle

If a subquery returns zero rows, 
the condition [operator]ANY[subquery] evaluates to FALSE 
the condition [operator]ALL[subquery] evaluates to TRUE 

на которых булева логика или логика математика основана не так ли?

Answer 1

Там нет ничего необычного - это просто реализует математическую все, а Exists операторов, определение (с точки зрения непрофессионала)

Учитывая множество М и предикат р, то

All m elem M (p) 
<=> each element of M satisfies the predicate p 
<=> there's no element in M that doesn't satisfy p 

Очевидно, это верно для пустого множества, поскольку оно вообще не содержит элементов.

Дано множество М и предикат р, то

Any m elem M (p) 
<=> there exists at least one element of M that satisfies the predicate p 
<=> for all elements of M, the inverse predicate !p is false 

Очевидно, что это неверно для пустого множества, так как он не содержит на всех каких-либо элементов и, следовательно, не имеет, по меньшей мере, один элемент удовлетворяющий предикату. Он также дополняет определение All (м) довольно хорошо, так как

All(p) <=> !Any(!p) 

где ! обозначает логическую инверсию НЕ.