Title :
On first-order topological queries
Author :
Grohe, Martin ; Segoufin, Luc
Author_Institution :
Inst. fur Math. Logik, Freiburg, Germany
Abstract :
One important class of spatial database queries is the class of topological queries, i.e. 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
Keywords :
formal logic; query languages; query processing; topology; visual databases; arithmetic; combinatorial characterization; expressive power; first-order logic; first-order topological queries; homeomorphisms; invariant queries; regular spatial databases; spatial database queries; spatial databases; standard query language; topological first-order logic; Arithmetic; Database languages; Logic; Presses; Relational databases; Spatial databases;
Conference_Titel :
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7695-0725-5
DOI :
10.1109/LICS.2000.855783
