Quantifiers

Xquery met à disposition des mécanismes pour vérifier des tests sur des ensembles d'éléments à l'image des opérateurs ∃ et ∀

Vérification d'une condition pour au moins un élément d'un ensemble (∃)

for $l in .//livre
where some $t in $l//titre/text() satisfies
  contains($t, "étoiles")
return <numLivre> {$l/@id}</numLivre>

Vérification d'une condition pour tous les éléments d'un ensemble (∀)

for $livre in doc("/home/dominique/public_html/Master1/BDA/DocXML/lmsf040.xml")/livre
where every $t in $livre//titre/text() satisfies
  contains($t," ")
return  {$livre//titre}