A quantified predicate compares a value with a collection of
values. It has the same form as a basic predicate except that the
second operand must be a column select expression preceded by an
ALL, ANY, or SOME comparison operator.
(B)0[m[1mquantified-predicate = [m
[1m [m
[1mqq> value-expr qqwq> = qqwqwq> [1;4mALL[m[1m qqwq> ( col-select-expr ) qq> [m
[1m tq> <> qu tq> [1;4mANY[m[1m qqu [m
[1m tq> ^[m= [1mqu mq> [1;4mSOME[m[1m qj [m
[1m tq> != qu [m
[1mtq>[m [1m<[m [1mqqu[m
[1mtq>[m [1m<= qu[m
[1m tq> > qqu [m
[1m mq> >= qj [m
The following table describes the value of the result based on
the comparison of values for the quantified predicate.
Table 8 Quantified Predicate Result Table
Comparison of Values Result
ALL Quantifier
If all comparisons are True
True
If any comparisons are False
False
If no comparisons are True
made
Otherwise Unknown
SOME and ANY Quantifiers
If any comparisons are True
True
If all comparisons are False
False
If no comparisons are True
made
Otherwise Unknown