Difference between revisions of "Modeler:8/RepositoryRules"
From CaseTalk Wiki
| Line 13: | Line 13: | ||
= 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 = | ||
In a fact type that is a subtype, all roles have a single role uniqueness constraint. For nominalized subtypes, all object type expressions concern exactly one role. | |||
= The alias of an object/fact type must be unique = | = The alias of an object/fact type must be unique = | ||
= All object type expressions must be used = | = All object type expressions must be used = | ||
Revision as of 13:12, 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.
The N-1 rule must be valid for every fact type
The subtype rule must be valid for every subype
In a fact type that is a subtype, all roles have a single role uniqueness constraint. For nominalized subtypes, all object type expressions concern exactly one role.