R1154 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1154 / 1:1

Restrict Action applies exactly one Table Restrict Condition

Table Restrict Condition is applied by exactly one Restrict Action

---

A Restrict Action applies a Table Restriction Condition to each tuple in a Table.

A Table Restriction Condition is defined within a single Restrict Action.

The restriction condition is factored out so that we can share the Restrict Condition between both Select and Restrict Actions.