Modeling of constraints in Object Oriented Data Model has been the focus of attention of many researchers in recent times [1,2,8,13,14]. In this paper, we attempt to further formalize the constraint model described in [3]. First, necessary extensions of UML meta-model is examined to express the constraint-model of [3]. The motivation behind expressing constraint models in UML is formalization. It is expected that such formalization effort would lead to the development of sound software tools for analysis and synthesis. The second objective is to establish the correspondence between the extended model and a standard Object database model developed by ODMG. This correspondence is established on ODL by extending the standard specified by ODMG. Such formalizations not only shows the expressive power of the model but these correspondences do also enhance the portability of the schema of object oriented databases across different vendors.
展开▼