Schema Evolution publication categorizer

A sound and complete axiomatic model is proposed for dynamic schema evolution (DSE) in objectbase systems (OBSs) that supports the fundamental concepts of object-oriented computing such as subtyping and property inheritance. The model can infer all schema relationships from two identified input sets associated with each type called the essential supertypes and essential properties. These sets are typically specified by schema designers but can be automatically supplied within an OBS. The inference mechanism performed by the model has a proven termination.