[sc34wg3] TMCL: 4.4.17 AssociationRoleConstraint

Robert Barta rho at devc.at
Fri Feb 15 07:09:27 EST 2008

Relative to


4.4.17 AssociationRoleConstraint

typo: two dots (..) at end of sentence

cardMin and cardMax inconsistent with rest of document

and they mention patterns. which patterns?


every $a in // $$associationType
   at least $$cardmin $r in $a -> $$roleType
   satisfies exist 1
 & at most  $$cardmax $r in $a -> $$roleType
   satisfies exist 1

In the example, is it necessary/relevant that employee isa roleType ?


What is strange is that this constraint overlaps with 4.4.18. I would
understand if 4.4.18 would drop the cardinality constraints, though.


Austrian Research Centers, Environmental Monitoring Systems

More information about the sc34wg3 mailing list