Достаточные условия эффективной трансляции локально генерических запросов

Данная работа является продолжением исследований по теории языков запросов первого порядка к базам данных. Ранее было установлено, что во многих разрешимых теориях имеет место трансляционная теорема: каждый локально генерический запрос эквивалентен некоторому ограниченному, но вопрос о возможности эффективного нахождения этого запроса почти не исследовался. Используя полученные нами ранее результаты, мы предлагаем метод эффективного нахождения этих запросов для широкого класса теорий, который включает арифметику Пресбургера и теорию действительных чисел.