Examples
The following examples provide details.
Example 1:
The following example makes sure that all employees salaries are greater than or equal to $6000:
## range of e is employee
## define integrity on e is e.salary >= 6000
Example 2:
The following example defines an integrity using a variable:
## define integrity on e is e.salary >= salvar