Организация формульных вычислений над базами данных

Предлагается новое концептуальное средство "табличные программы", предназначенное для организации интерактивных формульных вычислений в прикладных СУБД. Дается формальное определение табличных программ и виртуальной $T$-машины, выполняющей эти программы. Описывается реализация $T$-машины в системе программирования СУБД Clipper 5.0.