==Logic==
If expressions can often be simplified:
<syntaxhighlight lang="xquery">
for $a in ('a', '')
return $a[boolean(if(.) then true() else false())]
(: rewritten to :)
for $a in ('a', '')
return $a[boolean(.)]
(: rewritten to :)
for $a in ('a', '')
return $a[.]
(: rewritten to :)
("a", "")[.]
</syntaxhighlight>
Boolean algebra (and set theory) comes with a set of laws that can all be applied to XQuery expressions.
return $input1[not(. = $input2)]
</syntaxhighlight>
==Pre-Evaluation==
=Changelog=
Introduced with Version 9.4.