On Topological Elementary Equivalence of Spatial Databases
نویسندگان
چکیده
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 depends on the topological aspects of the spatial data. Two spatial databases are called topologically elementary equivalent if they cannot be distinguished by such topological first-order queries. Our contribution is a natural and effective characterization of topological elementary equivalence of closed databases in the real plane. As far as topological elementary equivalence is concerned, it does not matter whether we use first-order logic with full polynomial inequalities, or first-order logic with simple order comparisons only.
منابع مشابه
Region-Based Querz Languages for Spatial Databases in the Topological Data Model
We consider spatial databases in the topological data model, i.e., databases that consist of a finite number of labeled regions in the real plane. Such databases partition the plane further into elementary regions. We propose a first-order language, which uses elementary-region variables and label variables, to query spatial databases. All queries expressible in this first-order logic are topol...
متن کاملQuerying spatial databases in the topological datamodel using region-based languages (abstract)
Introduction and summary. We consider planar spatial databases in the topological data model, i.e., databases that consist of a finite number of labeled regions in the real plane. Figure 1 (a) gives an example of such a database showing four labeled regions. Egenhofer and his collaborators, who were among the first to consider this model, have studied the possible topological relationships betw...
متن کاملOn the topological equivalence of some generalized metric spaces
The aim of this paper is to establish the equivalence between the concepts of an $S$-metric space and a cone $S$-metric space using some topological approaches. We introduce a new notion of a $TVS$-cone $S$-metric space using some facts about topological vector spaces. We see that the known results on cone $S$-metric spaces (or $N$-cone metric spaces) can be directly obtained from...
متن کاملA general strategy for decomposing topological invariants of spatial databases and an application
Topological invariants of spatial databases (i.e., finite structures that capture thetopological properties of the database) are receiving increasing attention since theycan act as a basic structure to tackle relevant problems in the field (e.g., assessmentof the topological equivalence). In this paper, the novel notion of boundary decom-position of a topological invariant is in...
متن کاملTopological structure on generalized approximation space related to n-arry relation
Classical structure of rough set theory was first formulated by Z. Pawlak in [6]. The foundation of its object classification is an equivalence binary relation and equivalence classes. The upper and lower approximation operations are two core notions in rough set theory. They can also be seenas a closure operator and an interior operator of the topology induced by an equivalence relation on a u...
متن کامل