R1127 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1127 / 1:Mc

Table defines header as zero, one or many Table Attribute

Table Attribute is included in header of exactly one Table

---

A Table represents the relational concept of a relation and, as such, is nothing more than a header with a possibly empty set of attribute, scalar pairs. Since each Table Attribute has an attribute named Scalar, we get the effect by modeling this association.

A Table Attribute is defined locally to a given Table. This means that two Table Attributes with the same name defined in distinct Table definitions are, in fact, distinct Table Attributes.