Closed ChristianGruen closed 2 years ago
The following query should be simplified to 1:
1
let $a := db:get('input') let $b := 1 return $b
As we now have two compilation steps, db:get is treated as non-deterministic in the first step:
db:get
prof:void(db:get('input')), 1
The following query should be simplified to
1
:As we now have two compilation steps,
db:get
is treated as non-deterministic in the first step: