Difference between revisions of "Modeler:8/RepositoryRules"
From CaseTalk Wiki
| Line 12: | Line 12: | ||
= The N-1 rule must be valid for every fact type = | = The N-1 rule must be valid for every fact type = | ||
Facts are required to have at one or more uniqueness constraint over N-1 roles. | |||
= 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. | 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. | ||
Revision as of 13:52, 20 October 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
Facts are required to have at one or more uniqueness constraint over N-1 roles.
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.