search

BaseXdb / basex

BaseX Main Repository.
http://basex.org
BSD 3-Clause "New" or "Revised" License
684 stars 265 forks source link

XQuery: invert logical arguments of fn:not #2164

Closed ChristianGruen closed 1 year ago

ChristianGruen commented 1 year ago 
not(exists(A) and exists(B)),
not(empty(A) or empty(B)),
not(A = 1 and position() = 1)

…can be rewritten to…

empty(A) or empty(B)
exists(A) and exists(B)
A != 1 or position() != 1