BaseXdb / basex

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

XQuery: Merge exact and range comparisons #2195

Closed ChristianGruen closed 1 year ago

ChristianGruen commented 1 year ago

Examples:

<_>0</_>[.  = 0 and . >= 0]  →  <_>0</_>[.  = 0]
<_>0</_>[. <= 0 or  .  = 0]  →  <_>0</_>[. <= 0]

(1 to 6)[.  = 3 and . <= 3]  →  (1 to 6)[.  = 3]
(1 to 6)[. <= 3 or  .  = 3]  →  (1 to 6)[. <= 3]

<_>X</_>[.  = 'X' and . >= 'W']  →  <_>X</_>[. = 'X']
<_>X</_>[. <= 'W' and .  = 'X']  →  ()