22 Aug
2020
22 Aug
'20
6:57 a.m.
Hi,
I have my doubts about the expressions used at the “tertium non datur”-principle in the documentation [1]. Or the expression should be “$a or not($a)” or the rewritten expression should be “false()” .
[1]: https://docs.basex.org/wiki/XQuery_Optimizations#Pure_Logic
Best regards,
Rob Stapper
Sent from Mail for Windows 10
--
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus