Recognises undeclared subtype constraints

Mida see tähendab

A supertype with subtypes and nothing saying whether an instance can belong to more than one subtype (disjoint or overlapping) or to none (total or partial).

Kuidas seda hinnatakse

Flags the deficient case and passes the acceptable one. Deficient: Party → Person, Organisation, with nothing saying whether a sole trader (FIE) is one, the other, both or neither Acceptable: Stated as disjoint and total; FIE modelled as a Person with a business role; the discriminator's value set lists exactly the subtypes (`LOG-013`)

Tugineb

Explains supertype and subtype constraintsK-566 · Teadmine

Vajalik

Recognises rolled-down subtypes losing supertype constraintsK-607 · Oskus