On first-order topological queries

Authors:
Martin Grohe;Luc Segoufin
Affiliations:
University of Edinburgh, Edinburgh, Scotland, U.K.;INRIA-Rocquencourt, France
Venue:
ACM Transactions on Computational Logic (TOCL)
Year:
2002

Citing 12
Cited 4

Towards a theory of spatial database queries (extended abstract)

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Queries with arithmetical constraints

Theoretical Computer Science - Special issue: principles and practice of constraint programming
Finitely representable databases

Journal of Computer and System Sciences - Special issue on principles of database systems
Relational expressive power of constraint query languages

Journal of the ACM (JACM)
Topological queries in spatial databases

Journal of Computer and System Sciences
Complete geometric query languages

Journal of Computer and System Sciences
Reachability and connectivity queries in constraint databases

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Querying spatial databases via topological invariants

Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Constraint Databases

Constraint Databases
Fixed-Point Logics on Planar Graphs

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Counter-Free Automata (M.I.T. research monograph no. 65)

Counter-Free Automata (M.I.T. research monograph no. 65)

A characterization of first-order topological properties of planar spatial data

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A characterization of first-order topological properties of planar spatial data

Journal of the ACM (JACM)
A formal foundation for knowledge integration of defficent information in the semantic web

EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Visual ontology cleaning: cognitive principles and applicability

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. We study topological queries expressible in the standard query language on spatial databases, first-order logic with various amounts of arithmetic. Our main technical result is a combinatorial characterization of the expressive power of topological first-order logic on regular spatial databases.