[sc34wg3] TMQL: Predicate invocation and scope

Lars Heuer heuer at semagia.com
Thu Jul 10 10:48:25 EDT 2008

Hi Robert,

>> [ $a = member-of(member: $p, group: $g)]
>> > I know this doesn't work now. It's not even syntactically valid, as
>> > far as I know. But we could define this in such a way that it *would*
>> > work.
>> I don't know if it is worth, because we'd change the meaning of
>> predicate invocations seriously.

> Predicate invocations generate association items, so in

Yes, my fault, I thought pred-invocations bind $p and $g to each
possible combination and return that tuple. I wasn't aware that they
return the assoc items.

Best regards,

More information about the sc34wg3 mailing list