Полнота динамики значений свойств данных в СУБД DIM

Аннотация

Данная работа посвящена обоснованию возможности использования объектной СУБД DIM и ее механизма взаимодействий в качестве алгоритмически полной реализации объектно-динамической модели. В статье описывается расширение статической OD-модели путем включения в неё множеств алгоритмических процедур, описывающих изменения значений свойств объектов, а также создание, удаление и изменение самих объектов. Для обеспечения DIM возможностями модификации данных, эквивалентной модификациям в OD-модели, вводятся отношения взаимодействий и истории. Для того, чтобы минимизировать зависимость от конструкций описаний алгоритмических процедур OD-модели, которые могут быть записаны на различных языках, выполняется сведение аппарата процедур к универсальной форме – машине Тьюринга. Представляется способ построения машины Тьюринга эквивалентной OD.MT в рамках DIM, использующей набор PL/ODQL проце- дур в качестве аналога управляющего устройства и функциональной таблицы. Описывается принцип формирования ленты памяти такой DIM.MT путём кодирования информации об объектах DIM и их последующего декодирования с ленты обратно в объекты DIM. При этом процесс работы такой машины моделируется с помощью бесконечного цикла вы- полнения PL/ODQL процедур чтения / записи объектов с входной ленты. В заключение приводится доказательство теоремы о полноте представления динамики данных математической модели DIM новой объектной СУБД, основанное на доказанной ранее теореме о статической полноте представления данных в DIM. Статья публикуется в авторской редакции.