Generalization and specialization of object dynamics

This report presents a quite detailed analysis of the modeling approaches of different object-oriented database systems, namely ABSURD, OBLOG, MOKUM, TAXIS and GAL/LEO, with emphasis on the spuialization of object dynamics, in a taxonomic structure. It is done unifonnly l7y applying each system to the specification of an UoD example, the University world. The potentialities of the systems are compared and ambiguities discovered. An auempt to resolve some of these ambiguities is made. The issues dealing with inheritance and taxonomy of the dynamics of an UoD specification are particularly treated. The formaliza­ tion of specialization issues for events and processes, which is specially cared in the systems ABSURD and OBLOG, is described in detail