Characterization of the Effects of Schema Change

It is shown that the entire schema does not need to be redesigned every time a change is made, and the subschema affected by basic schema operations is characterized, which allows the scope of checking required and a guarantee of the overall design being correct.