Under lång tid har topologiska relationer mellan rumsliga objekt stått i fokus för forskning inom ett antal discipliner som artificiell intelligens, kognitiv vetenskap, lingvistik, robotik och rumsligt resonemang. Särskilt som predikat stöder de utformningen av lämpliga frågespråk för rumslig datahämtning och analys i rumsliga databaser och geografiska informationssystem (GIS). Tyvärr har de hittills bara definierats för och tillämpas på förenklade abstraktioner av rumsliga objekt som enstaka punkter, kontinuerliga linjer och enkla regioner. Med införandet av komplexa rumsliga datatyper uppstår en fråga om design, definition och antal topologiska relationer som fungerar på dessa komplexa typer. Denna artikel avslutar denna lucka och introducerar först definitioner av allmänna och mångsidiga rumsliga datatyper för komplexa punkter, komplexa linjer och komplexa regioner. Baserat på den välkända 9-sektionsmodellen bestämmer den sedan de fullständiga uppsättningarna av ömsesidigt uteslutande topologiska relationer för alla typer av kombinationer. Fullständighet och ömsesidig uteslutning visas med en bevisteknik som kallas proof-by-constraint-and-drawing. På grund av det stora antalet predikat och svårigheten att hantera dem förses användaren med begreppen topologiska klusterpredikat och topologiska predikatgrupper, som gör det möjligt att minska antalet predikat som ska hanteras på ett användardefinierat och/eller tillämpningsspecifikt sätt.
Formella definitioner av komplexa rumsliga datatyper finns i REF.
Topological relationships between complex spatial objects
{'venue': 'TODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}