Редукционные вычислительные системы - системы, в которых вычисления инициируются на основе запроса на данные.