Abstract: 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.