Kapitel 6.10 · Erweiterte XQuery-Ausdrücke
Quantifizierende Ausdrücke
XQuery unterstützt explizit die Formulierung quantifizierender Ausdrücke durch entsprechende Sprachkonstrukte. Ein quantifizierender Ausdruck besteht dabei minimal aus einem der beiden Schlüsselwörter some oder every zur Anzeige einer existenziellen bzw. universellen Quantifizierung, einer nur für den Kontext des quantifizierenden Ausdrucks gültigen Variablenbindung und einem Ausdruck nach dem Schlüsselwort satisfies, gegen den die Belegungen der Variablen getestet werden.
| QuantifiedExpr | ::= | (( some $ ) | ( every $ )) VarName TypeDeclaration ? in ExprSingle (, $ VarName TypeDeclaration ? in ExprSingle )* satisfies ExprSingle |
Quelle: "XQuery – Grundlagen und fortgeschrittene Methoden", dpunkt-Verlag, Heidelberg (2004)