Modelování dědičnosti v objektově-orientovaném modelu

Even if there are some results concerning formal specification of object-relational model, poor support exists for inheritance. The aim of the proposed project is to create a formal model of inheritance based on category theory and thus prepare material suitable for further development of the concept into formal description applicable to complete object-oriented model. We focus especially on multiple inheritance, name space, virtual base classes and polymorphism.