FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2009, VOLUME 15, NUMBER 5, PAGES 49-61

Sufficient conditions for effective translation of locally generic queries

S. M. Dudakov

Abstract

View as HTML     View as gif image

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.

Location: http://mech.math.msu.su/~fpm/eng/k09/k095/k09504h.htm
Last modified: October 8, 2010