реляционная операция UNION) всех возможных
( реляционная операция UNION) всех возможных реализаций компонента объектного типа, в том числе его типов-наследников.
НРМ показывает, что RxO-система может быть создана на базе существующих РСУБД (важным требованием является наличие у языка управления этой РСУБД процедурных расширений) путем использования программы-транслятора, преобразующей команды управления RxO-системы в команды управления используемой базовой РСУБД. Основываясь на свойствах реляционной модели данных, НРМ доказывает
утверждение о транслируемости,
которое можно рассматривать как формальное обоснование возможности групповой обработки данных, представленных в виде множества сложных объектов, и группового управления состоянием этих объектов (что делает необязательным использование итераторов). Исходя из этого утверждения, любая последовательность операций, реализующих компонент объекта, может быть транслирована в такую последовательность операций используемой базовой РСУБД, что, выполнив её, система изменит свое состояние таким образом, как будто исходная последовательность была выполнена для каждого объекта из заданного множества объектов данного типа.
Для управления RxO-системой служит непроцедурный язык, состоящий из команд, позволяющих описывать, создавать и уничтожать объекты, манипулировать ими и получать данные о их состоянии. Исходя из сказанного, RxO-систему можно рассматривать как среду, позволяющую создать адекватную, активную и долговременно существующую модель предметной области, управляемую пользователем (клиентским приложением) и предоставляющую пользователю данные о своем состоянии. На схеме
представлена клиент-серверная архитектура, где RxO-система используется в качестве сервера данных.
Содержание Назад Вперед