The changes proposed to a schema must not leave the schema in an inconsistent state.
Itasca and GemStone define rules for schema consistency, called schema invariants,
which must be complied with as the schema is modified. By way of an example, we consider
the schema shown in Figure 26.10. In this figure, inherited attributes and methods
are represented by a rectangle. For example, in the Staff class the attributes name and DOB