Mengenvergleichsprädikat (quantified_predicate) 

Durch die Angabe eines Mengenvergleichs prädikats ( quantified_predicate ) wird ein Vergleich eines Wertes bzw. einer Werteliste mit einer Menge von Werten bzw. Wertelisten durchgeführt.

subquery, expression_list

Für den Vergleich von Werten stehen folgende Vergleichsoperatoren zur Verfügung:
<, >, <>, !=, =, <=, >= ( comp_op)

Für den Vergleich von Wertelisten stehen nur die Vergleichsoperatoren = und <> zur Verfügung ( equal_or_not).

Zur Qualifizierung des Mengenvergleichs stehen ALL bzw. SOME oder ANY zur Verfügung ( quantifier).

Die Subquery ( subquery ) muß eine Ergebnistabelle (siehe Ergebnistabellenname) liefern, die so viele Spalten enthält wie Werte durch den Ausdruck ( expression bzw. expression_list ) auf der linken Seite des Operators erzeugt sind.

Jede auf der rechten Seite des Vergleichsoperators equal_or_not angegebene Werteliste ( expression_list ) muß so viele Werte enthalten, wie in der Werteliste vor dem Vergleichsoperator equal_or_not angegeben sind.

• Sei x das Ergebnis des ersten Wertes ( expression ) und S das Ergebnis der Subquery oder der Folge von Werten. S ist eine Menge von Werten s. Der Wert x und die Werte in S müssen miteinander vergleichbar sein.
• Wenn auf der linken Seite der Vergleichsopertors equal_or_not eine Werteliste ( expression_list ) angegeben ist, dann sei x die Werteliste, die sich aus den Ergebnissen der Werte x1, x2, ..., xn dieser Werteliste zusammensetzt. S sei das Ergebnis der Subquery, die sich aus einer Menge von Wertelisten s zusammensetzt. oder eine Folge von Wertelisten s. Eine Werteliste s setzt sich aus den Ergebnissen der Werte s1, s2, ..., sn zusammen. Ein Wert xm muß mit allen Werten sm vergleichbar sein.
  x=s ist wahr, wenn xm=sm, m=1,...,n
  x<>s ist wahr, wenn es mindestens ein m gibt, für das gilt xm<>sm.
  x <equal_or_not> s ist undefiniert, wenn es kein m gibt, für das xm <equal_or_not> sm falsch ist und es mindestens ein m gibt, für das xm <equal_or_not> sm undefiniert ist.
  Wenn ein xm oder ein ym NULL-Werte sind, oder wenn das Ergebnis der Subquery leer ist, dann ist x <equal_or_not> y undefiniert.