Prédicats de sous-requêtes quantitatives
Un quantor est un opérateur logique qui spécifie le nombre d'objets pour lesquels une déclaration donnée est vraie. Il s'agit d'une quantité logique, et non d'une quantité numérique ; elle associe l'énoncé à l'ensemble des objets possibles. Ces prédicats sont basés sur les quantificateurs logiques formels de généralité et d'existence, qui sont reconnus par la logique formelle.
Dans les expressions de sous-requêtes, les prédicats quantitatifs permettent de comparer des valeurs individuelles aux résultats des sous-requêtes ; leur forme courante :
<value expression> <comparison operator> <quantifier> <subquery>