УДК 004.519.6
Буй Д.Б., Компан С.В.
ОПЕРАЦИИ ОБЪЕДИНЕНИЯ И ПЕРЕСЕЧЕНИЯ СПЕЦИФИКАЦИЙ КЛАССОВ В МНОГОСОРТНОЙ АЛГЕБРАИЧЕСКОЙ СИСТЕМЕ ДЛЯ
ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ
Киевский национальный университет имени Тараса Шевченко,
Киев, проспект Академика Глушкова, 4Д, 03680
UDC 004.519.6
Buy D.B., Kompan S.V.
UNION AND INTERSECTION OPERATIONS OF CLASSES SPECIFICATIONS IN GETEROGEN ALGEBRAIC SYSTEM FOR OBJECT-ORIENTED PROGRAMMING
Taras Shevchenko National University of Kyiv,
Kyiv, avenue of Academic Glushkov 4D, 03680
В данном докладе предлагается использовать для построения формальной модели объектных баз данных вместо объектной алгебры многосортную алгебраическую систему. Выполнено полное формальное уточнение операция объединения спецификаций классов и в первом приближении операция пересечения спецификаций классов.
Ключевые слова: объектные базы данных, объектная алгебра, класс, наследование, множественное наследование.
This paper proposed to use geterogen algebraic system for the construction of the formal model of object database object instead of object algebra. Completed formal clarification of union and intersection operations of classes specifications are given.
Key words: object database, object algebra, class, inheritance, multiple inheritance.