Infinitary Queries in Spatial Databases
Wesley Calvert, John E. Porter · arXiv (Cornell University) · 2008
We describe the use of infinitary logics computable over the real numbers (i.e. in the sense of Blum–Shub–Smale, with full-precision arithmetic) as a constraint query language for spatial databases. We give a characterization of the sets definable in various syntactic classes corresponding to the classical hyperarithmetical hierarchy. 1