Download:
|
by Martin Grohe, Luc Segoufin
In Proceedings 15th IEEE Symposium on Logic in Computer Science
ftp://ftp.inria.fr/INRIA/Projects/verso/VersoReport-174.ps.gz
Add To MetaCart
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. 1.
Citations
|
1035
|
Foundations of Databases
– Abiteboul, Hull, et al.
- 1995
|
|
392
|
Finite model theory
– Ebbinghaus, Flum
- 1999
|
|
157
|
Counter-Free Automata
– McNaughton, Papert
- 1971
|
|
115
|
Constraint Databases
– Kuper, Paredaens, et al.
- 1999
|
|
101
|
On finite monoids having only trivial subgroups
– Schützenberger
- 1965
|
|
94
|
den Dries. Tame Topology and O-minimal Structures
– van
- 1998
|
|
90
|
Gucht. Towards a theory of spatial database queries
– Paredaens, Bussche, et al.
|
|
79
|
Relational expressive power of constraint query languages
– Benedikt, Dong, et al.
- 1995
|
|
59
|
Finitely representable databases
– Grumbach, Su
|
|
45
|
Topological queries in spatial databases
– Papadimitriou, Suciu, et al.
- 1999
|
|
33
|
Gucht. First-order queries on finite structures over the reals
– Paredaens, Bussche, et al.
|
|
29
|
Languages for relational databases over interpreted structures
– Benedikt, Libkin
- 1997
|
|
29
|
Queries with Arithmetical Constraints
– Grumbach, Su
- 1997
|
|
28
|
Safe constraint queries
– Benedikt, Libkin
- 1998
|
|
20
|
den Bussche. Topological elementary equivalence of closed semi-algebraic sets in the real plane
– Kuijpers, Paredaens, et al.
- 1999
|
|
15
|
Gucht. Complete geometrical query languages
– Gyssens, Bussche, et al.
- 1997
|
|
15
|
Querying spatial databases via topological invariants
– Segoufin, Vianu
- 1998
|
|
11
|
Reachability and connectivity queries in constraint databases
– Benedikt, Grohe, et al.
- 2000
|
|
6
|
den Bussche. On capturing first-order topological properties of planar spatial databases
– Kuijpers, Van
- 1999
|
