>Thanks Hilmar for following up on this query. REST and w/o REST it should work the same, wouldn't it? The index is set for id.
I think that if you use a WHILE clause, the REST is implicit, so yes, it should work the same in this case.
Difference in opinions hath cost many millions of lives: for instance, whether flesh be bread, or bread be flesh; whether whistling be a vice or a virtue; whether it be better to kiss a post, or throw it into the fire... (from Gulliver's Travels)