R804 - modelint/shlaer-mellor-metamodel GitHub Wiki

R804 / 1:M

Relation Flow column columns are defined by exactly one Table

Table defines columns of exactly one Relation Flow

By definition, the type of a Relation Flow is defined by a single header.

Multiple Relation Flows may all be constrained by the same header, but contain potentially different tuples.

A Table has no purpose if it doesn't type at least one Relation Flow.