[sc34wg3] TMQL: Navigation "traverse"

[Robert Barta]

On Mon, Nov 03, 2008 at 04:44:30PM +0100, Lars Heuer wrote:
> >  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).

Right.

>      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}

According to the current draft, yup.

>    Given: assoc-type(role-type1: player1,
>                      role-type2: player2)
> 
>    The query
>        player1 <-> assoc-type
> 
>    delivers this result:
>        {player2}

Yup.

But this is certainly something one should think about one time more.

\rho