База данных как модель конструктивной логики

Предлагается интерпретация в области баз данных логических и алгоритмических средств теории, представленной Н. Н. Непейводой в цикле статей 1978–88 гг. Их целью является построение формального исчисления, в котором доказательство теоремы ориентировано на задачу построения программы его реализации (синтез программ). В области баз данных той же цели служит создание дедуктивных баз данных. Формальная модель при этом приобретает структурные и поведенческие свойства, предъявляемые к объектно-ориентированной модели.