Kompan S. Compositional semantics of the core object database

The thesis focuses on the study of objectoriented approach in databases. The analysis of major database types has been carried out, depending on the database model. By way of compositional method, the following notions have been speci_ed: object, class, simple and multiple inheritance of classes, the life cycle of the object. The types of queries in object databases have been explored. Object algebraic system has been built. Signature operations, namely operations performed on sets of objects and operations on classes specifications, have been formally speci_ed. The family class structure sorted out by inheritance has been studied. The parent class building according to two given classes has been formally speci_ed. Algorithms of classes linearization have been mathematically specified on the example of CLOS and LOOPS program ming languages. Theoretical results of the parent class building according to two classes have been tested, using the information system