[xquery-talk] some ... satisfies with positional variable

[Michael Kay]

> This is how I would write my query if there was a
> "some ... at ... in ... satisfies ..." construct. Without it, 
> I have to
> use for-clauses, which compute all tuples ($x, $y, $z) that 
> satisfy the
> conditions, although I am only interested in whether there is one such
> tuple.

You are taking the formal semantics far too literally. They specify the
results of the language, they don't describe how real implementations work.

Michael Kay
http://www.saxonica.com/