2 search results - page 1 / 1 » Topological Elementary Equivalence of Closed Semi-Algebraic ... |
JSYML
2000
13 years 5 months ago
2000
We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol...
ICDT
1997
ACM
13 years 9 months ago
1997
ACM
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...