Компан С. В. Композиційна семантика ядра об'єктних баз даних

Дисертацiя присвячена дослiдженню об'єктного пiдходу в базах даних. За допомогою композицiйного методу уточнюються наступнi поняття: об'єкт, клас, просте та множинне успадкування класiв, життєвий цикл об'єкта. Розглядаються типи запитiв в об'єктних базах даних. Будується об'єктна алгебраїчна система. Формально уточнюються сигнатурнi операцiї: операцiї над множинами об'єктiв та операцiї над специфiкацiями класiв. Дослiджена структура сiмейства класiв, впорядкованих успадкуванням. Формально уточнюється побудова батькiвського класу по двом заданим класам. Формально уточнюються алгоритми лiнеаризацiї класiв на прикладi мов програмування CLOS та LOOPS. На прикладi iнформацiйної системи “Облiк робочого часу працiвникiв ВНЗ” перевiряються теоретичнi результати побудови батькiвського класу по двом заданим. Даним результатом автор скористувався на етапi проектування iнформацiйної системи.