R1172 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1172 / 1:Mc

Cardinality Action counts tuples in exactly one Non Scalar Flow

Non Scalar Flow has tuples counted by zero, one or many Cardinality Action

---

The input tuples to be counted are supplied by a single Non Scalar Flow. If the flow is an Instance Flow we count the number of instance references. Otherwise, we count the number of tuples in the supplied relation (table).

Any given Non Scalar Flow may or may not be counted by any number of Cardinality Actions.