[sc34wg3] TMQL: Navigation "traverse"

[Lars Heuer]

Hi Robert,

>> traverse
>> --------
>>     "[...] whereby the incoming topic is deducted once from that
>>     sequence [...]"
>> 
[...]
>> In case the "once" is intentional: Why should the topic which plays n
>> roles occur n - 1 times in the sequence?

> "once" is intentional.

> Consider this:

>  write-paper (author: lheuer, author: rho, editor: lheuer)

> Then I would expect to see { lheuer, rho } as result of

>  lheuer <-> write-paper

ACK.

> I would even argue that one lheuer should be in the result here:

>  write-paper (author: lheuer, author: rho, author: lheuer)

This is the same as the example as above since the role "author:
lheuer" is removed from the association anyway (role equality rule).

Just to ensure that I understood it now:

a)
   Given:

     assoc-type(role-type1: player1,
                role-type2: player1,
                role-type3: player1,
                role-type4: player2
                )

   The query
        player1 <-> assoc-type

   delivers this result:
        {player1, player1, player2}

b)
   Given: assoc-type(role-type1: player1,
                     role-type2: player2)

   The query
       player1 <-> assoc-type

   delivers this result:
       {player2}
   

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