Difference between revisions of "Modeler:8/RepositoryRules"
From CaseTalk Wiki
m |
|||
| Line 9: | Line 9: | ||
There must exist at least one Uniqueness Constraint on the roles within the object of fact type. | There must exist at least one Uniqueness Constraint on the roles within the object of fact type. | ||
= The N rule must be valid for every nominalized fact type = | = The N rule must be valid for every nominalized fact type = | ||
All roles within a nominalized fact type must be covered under a single uniqueness constraint. | |||
= The N-1 rule must be valid for every fact type = | = The N-1 rule must be valid for every fact type = | ||
= The subtype rule must be valid for every subype = | = The subtype rule must be valid for every subype = | ||
Revision as of 13:07, 12 September 2014
Model Well-formednes
This window shows the well-formednes rules for the active model.
Every fact type must have an intra UC
There must exist at least one Uniqueness Constraint on the roles within the object of fact type.
The N rule must be valid for every nominalized fact type
All roles within a nominalized fact type must be covered under a single uniqueness constraint.