|
Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2008, Issue 10, Pages 5–24
(Mi vtpmk378)
|
|
|
|
Mathematical Foundations of Computer Science
Effective translation of extended $ <$ - invariant formulas in $ <$- bounded
S. M. Dudakov Tver State University, Tver
Abstract:
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.
Keywords:
collapse result, first-order formula.
Received: 03.07.2008 Revised: 02.08.2008
Linking options:
https://www.mathnet.ru/eng/vtpmk378
|
Statistics & downloads: |
Abstract page: | 76 |
|