Дата публикации: 2008

Дата публикации в реестре: 2020-03-18T12:44:27Z

Аннотация:

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

Тип: Статья

Другие версии документа

Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова