Behavioral Safety in a Model With Multiple Class Objects
by Tomas Hruska, Petr Kolencik and Michal Macel

Abstract:

Recently, database researchers identified some areas of limitations
and possible improvements of the object-oriented database paradigm.
One such a limitation was recognized in the area of modeling roles.
Considering the extension to the object-oriented model introducing
multiple type objects, we faced the problem how to disambiguate the
method dispatching. Investigating this issue from both theoretical
and practical perspectives we proposed solution based on the method
redefinition constraints using the formal tools of category theory.


Key words: object-oriented database model, modeling roles, method
dispatching, category theory.