search

BaseXdb / basex

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

XQuery: count(expr) in sequence operations #2138

Closed ChristianGruen closed 2 years ago

ChristianGruen commented 2 years ago

Possible rewritings (examples):

subsequence(E, 0, count(E))  →  util:init(E)
subsequence(E, 1, count(E))  →  E
subsequence(E, 2, count(E))  →  tail(E)
subsequence(E, 3, count(E))  →  subsequence(E, 3)

util:item(E, count(E))       →  util:last(E)
util:item(E, count(E) + 1)   →  ()