documentation flaw
Saturday, 22 August 2020 · 2 messages
R
RobStapper22 Aug 2020 12:57 #
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
CG
Christian Grün22 Aug 2020 13:10 #
Hi Rob, you are right. I have replaced "or" with "and". Thanks for the hint. – Best, Christian
Quoted text · RobStapper · 36 lines
On Sat, Aug 22, 2020 at 12:57 PM RobStapper <r.stapper at lijbrandt.nl> wrote: > 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 <https://go.microsoft.com/fwlink/?LinkId=550986> for > Windows 10 > > > > > <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient&utm_term=icon> Virus-free. > www.avast.com > <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient&utm_term=link> > <#m_-2765550508791472733_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> >
Written for BaseX 9.4. BaseX may have changed since: please check the current documentation.
⚡Generated with XQuery