Difference between revisions of "Modeler:Tutorial/Integrity Checks"
From CaseTalk Wiki
| Line 2: | Line 2: | ||
For each fact type, there must be at least one uniqueness constraint that concerns one or more roles of this fact type only. | 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 rule must be valid for every nominalized fact type = | ||
Every nominalized fact type with n roles only has exactly one uniqueness constraint over all n roles. | |||
= The N-1 rule must be valid for every fact type = | = The N-1 rule must be valid for every fact type = | ||
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
Every nominalized fact type with n roles only has exactly one uniqueness constraint over all n roles.
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.