|
Fundamentalnaya i Prikladnaya Matematika, 2009, Volume 15, Issue 5, Pages 49–61
(Mi fpm1246)
|
|
|
|
Sufficient conditions for effective translation of locally generic queries
S. M. Dudakov Tver State University
Abstract:
This paper continues investigations in the database query first-order languages theory. 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 effective construction of this query is almost unexplored. We use earlier results of the author on the construction of a method of effective obtaining this query. The method is rather general, it is applicable, for example, to the Presburger arithmetic and the real number theory.
Citation:
S. M. Dudakov, “Sufficient conditions for effective translation of locally generic queries”, Fundam. Prikl. Mat., 15:5 (2009), 49–61; J. Math. Sci., 172:5 (2011), 654–662
Linking options:
https://www.mathnet.ru/eng/fpm1246 https://www.mathnet.ru/eng/fpm/v15/i5/p49
|
Statistics & downloads: |
Abstract page: | 249 | Full-text PDF : | 87 | References: | 31 | First page: | 2 |
|