Реляционные модели вычислительных систем

Предложена модель микропроцессорных средств, основанная на применении нетрадиционного для этой области математического аппарата – теории отношений. Модель микропроцессора представлена в виде реляционной базы данных, содержащей информацию о структуре и системе команд моделируемого объекта. Процесс выполнения микропроцессором заданной программы моделируется СУБД, которая реализует операторы преобразования содержащихся в БД отношений.