[basex-talk] Positional predicate optimization

Good morning,

I wondered if there is room for optimization during the compilation of the following query:

​let $oneBillion := 1000000000 for $x at $p in (1 to ​ $oneBillion ​ ) where $p = 1 return $x ​

I would have expected this to be compiled into something like

for $x in (1 to $oneBillion)[1] return $x ​

​Or simply

(1 to $oneBillion)[1]

Judging only from the execution times of the original query versus the optimized ones, it seems the sequence of 1 to one billion is entirely generated, which seems suboptimal in this case.

Kind regards, Daniël Knippers