Querying spatial databases via topological invariants
Luc Segoufin, Victor Vianu · 1998
The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases, The focus is on the translation of topological queries against the spatial database into queries against the topological invariant.The languages considered nre first-order on the spatial database side, and j%point and first-order on the topological invariant side.In particular, it is shown that jixpoint expresses precisely the PTIME queries on topological invariants,