I have a doubt about the way the EntityType and FacType instances are modeled in the NORMA ORMMetamodel. I know the related file is quite old, so I’m wondering whether someone might comment on the correctness of the following uniqueness constraints:
One FactTypeInstance has many FactTypeRolInstance AND one FactTypeRoleInstance has one ...