[sc34wg3] TMCL: 4.4.3 AssociationRoleTypeConstraint

[Graham Moore]

Yes. This seems better.

--------------------------------------------
Graham Moore, Director, Networked Planet Limited
Editor XTM 1.0, ISO13250 (TopicMaps) -2,-3, TMCL
e: graham.moore at networkedplanet.com
w: www.networkedplanet.com
t: +44 1865 811131 
m: +44 7769658611 (UK)
m: +47 45271713   (Norway)

Networked Planet Limited is registered in England and Wales, no. 5273377
 

-----Original Message-----
From: sc34wg3-bounces at isotopicmaps.org
[mailto:sc34wg3-bounces at isotopicmaps.org] On Behalf Of Robert Barta
Sent: 15 February 2008 04:48
To: Discussion of ISO/IEC 13250 Topic Maps
Subject: Re: [sc34wg3] TMCL: 4.4.3 AssociationRoleTypeConstraint

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
_______________________________________________
sc34wg3 mailing list
sc34wg3 at isotopicmaps.org
http://www.isotopicmaps.org/mailman/listinfo/sc34wg3