Completeness of the dynamics of the attributes values of data in the database DIM

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