DocumentCode
2222208
Title
On first-order topological queries
Author
Grohe, Martin ; Segoufin, Luc
Author_Institution
Inst. fur Math. Logik, Freiburg, Germany
fYear
2000
fDate
2000
Firstpage
349
Lastpage
360
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
Conference_Location
Santa Barbara, CA
ISSN
1043-6871
Print_ISBN
0-7695-0725-5
Type
conf
DOI
10.1109/LICS.2000.855783
Filename
855783
Link To Document