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

Michael Kay mhk at mhk.me.uk
Sat Aug 20 01:34:31 PDT 2005

> 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

More information about the talk mailing list