Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные. Вестник ТвГУ. Серия: Прикладная математика (3[10]). С. 5-24. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
374kB |
Абстракт
Данная работа продолжает исследования по языкам запросов к базам данных. Ранее установлено, что во многих разрешимых теориях имеет место коллапс к порядку: каждая <-инвариантная формула эквивалентна некоторой <-ограниченной, но вопрос о возможности эффективного нахождения этой формулы почти не исследовался. Используя полученные нами ранее результаты, мы предлагаем метод эффективной трансляции для широкого класса теорий, который включает арифметику Семенова и теорию действительных чисел.
Абстракт (англ.)
This paper continues investigations in the database query languages. It is known that for many decidable theories the collapse result holds: each locally generic query is equivalent to some restricted query. But till now the problem of the effective construction of this query is almost unexplored. We use our earlier results to construct a method of effective translation. The method is rather general, for example it is applicable to the Semenov arithmetic and the real number theory.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Сергей Михайлович Дудаков, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики. |
| Ключевые слова: | коллапс к порядку, формула первого порядка |
| Ключевые слова (англ.): | collapse result, first-order formula |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории > 510.652 Формальная арифметика. Формальная теория чисел |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 498 |
| Deposited On: | 08 Янв 2017 08:08 |
| Последнее изменение: | 08 Янв 2017 08:08 |
Repository Staff Only: item control page