Algebraic semantics of object-oriented data models

An algebraic semantics of object oriented data models is presented. Particular attention is paid to the following features typical of the object oriented programming paradigm: complex mutable and immutable objects, object identity, object sharing, object types and type categories, inheritance, overloading, overriding, and late binding. The tools proposed in the paper can serve as a mechanism for the formal definitions of different data models and as a basis for the development of future data models.