Irreducible Identifier - modelint/shlaer-mellor-metamodel GitHub Wiki

This is what we think of as an Identifier in a Shlaer-Mellor model. If you remove any one of an Irreducible Identifier's Attributes and then plug in a set of values for those Attributes, you are no longer guaranteed to select zero or one instance of the defining Class.

Identifiers

1. Number + Class + Domain

Attributes

No non-referential attributes