R31 - modelint/shlaer-mellor-metamodel GitHub Wiki

R31 / 1:M

Class defines one or many Irreducible Identifier

Irreducible Identifier is defined by exactly one Class

---

The rule defined on R27 is further clarified to establish that at least one of a Class's Identifiers must be an Irreducible Identifier.

Formalization

Irreducible Identifier.(Class, Domain) -> Class.(Name, Domain)