[sc34wg3] TMQL: Predicate invocation and scope

[Lars Heuer]

Hi all,

Comments against TMQL draft dtd. 2007-07-13.

There seems no easy way how to constrain the scope of an predicate
invocation. Is that intentional?

Example:
        # Facts:
        member-of(member: ec, group: cream) @year-1966

        member-of(member: ec, group: blind-faith) @year-1969


How can someone constrain, that only the memberships in the scope
"year-1969" should be returned?


The query

      member-of(member: $p, group: $g)

would return everything.

IMO it would be nice if the user can constrain the scope of a
predicate-invocation, like:

     member-of[@year-1969](member: $p, group: $g)

Otherwise the user has to fall back to path expressions and cannot use
the (more readable) predicate invocations.

Thoughts?

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>