Semantics and Implementation of Schema Evolution in Object-Oriented Databases