Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


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.
Funding agency Grant number
Russian Foundation for Basic Research 07-01-00637
08-01-00241
Received: 03.07.2008
Revised: 02.08.2008
Bibliographic databases:
Document Type: Article
UDC: 510.652
Language: Russian
Linking options:
  • https://www.mathnet.ru/eng/vtpmk378
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
    Statistics & downloads:
    Abstract page:76
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025