[sc34wg3] TMCL: 4.4.3 AssociationRoleTypeConstraint

[Robert Barta]

On Thu, Feb 14, 2008 at 09:59:55AM +0100, Robert Barta wrote:
> Relative to
> 
>    http://kill.devc.at/system/files/tmcl.pdf
> 
> The TMQL query would be
> 
>   uniq ( // tm:association >> roles ) -- // tmcl:roleTypes == null
> 
> All roles which appear in any association must be mentioned in the
> list, not more. 

On a second thought I see that all further constraints are strictly
boolean. So maybe we should make these boolean too:

  not ( uniq ( // tm:association >> roles ) -- // tmcl:roleTypes )

This becomes 'trueish' if there is nothing inside the (). Similar for
the other constraints which flag topics to be for used only in a
certain way.

\rho