Modeler: Tutorial/Constraints

In this lesson you will learn how to add constraints to the information grammar using the Diagram Designer.

The constraints you are adding will not be applied to the population. As a result it is posible to add population that violates the constraints in the information grammar.

Adding unicity constraints

Step 16

1. Open the Diagram.

2. Click on 'Student' in the Diagram Designer, then select the menu 'Diagram\Constraint\UC'.

3. Repeat step 2 to add the unicity constraint to 'Apprenticeship'.

4. Hold the Ctrl-key and select role 3.

Note: You may select multiple roles also using the multiple role button from the diagram toolbar.

5. Select the menu 'Diagram\Constraint\UC'.

6. Repeat steps 4 and 5 to add the unicity constraints to the seperate roles 14, 15, 7 and 9.

7. Hold the Ctrl-key and select both roles 11 and 12.

8. Select the menu 'Diagram\Constraint\UC'.

9. Repeat steps 7 and 8 to add the uncity constraint to role combination 11 + 13.

Adding totality constraints

Step 17

1. Hold the Ctrl-key and select role 3, then select the menu 'Diagram\Constraint\TC'.

2. Repeat step 1 to add totality constraints to the seperate roles 7 and 9.

Removing intra fact type constraints

Step 18

1. Select the fact type 'Assigned Apprenticeship' in the Diagram Designer.

2. Select Delete Constraint, UC5 (over role 15) from it's popup-menu.

The unicity constraint is now removed from both the IG and the IGD.

3. Open the Edit menu and select Undo.