Difference between revisions of "Modeler:Tutorial/Integrity Checks"
From CaseTalk Wiki
| Line 5: | Line 5: | ||
= The N-1 rule must be valid for every fact type = | = The N-1 rule must be valid for every fact type = | ||
If a fact type with n roles has at least one uniqueness constraint on less than n-1 roles, then the fact type is splittable. | If a fact type with n roles has at least one uniqueness constraint on less than n-1 roles, then the fact type is splittable. The n-1 rule-test simply consists of the check that there are no UCs that are too small. | ||
=The subtype rule must be valid for every subtype.= | =The subtype rule must be valid for every subtype.= | ||
Revision as of 09:52, 30 July 2018
Every fact type must have an intra UC
For each fact type, there must be at least one uniqueness constraint that concerns one or more roles of this fact type only.
The N rule must be valid for every nominalized fact type.
The N-1 rule must be valid for every fact type
If a fact type with n roles has at least one uniqueness constraint on less than n-1 roles, then the fact type is splittable. The n-1 rule-test simply consists of the check that there are no UCs that are too small.