Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

32

TOCL
2002

favoriteEmaildiscussreport

96views more TOCL 2002»

On first-order topological queries

13 years 10 months ago

On first-order topological queries

Download www.lsv.ens-cachan.fr

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

Martin Grohe, Luc Segoufin

Real-time Traffic

Spatial Databases | TOCL 2002 | Topological Queries | Westudy Topological Queries |

claim paper

Related Content

» A Characterization of FirstOrder Topological Properties of Planar Spatial Data

» Formal Topologies on The Set of FirstOrder Formulae

» Processing FirstOrder Queries under Limited Access Patterns

» TopDown Query Processing in First Order Deductive Databases under the DWFS

» FirstOrder Query Rewriting for Inconsistent Databases

» On FirstOrder Query Rewriting for Incomplete Database Histories

» Temporal Versus FirstOrder Logic to Query Temporal Databases

» FirstOrder Queries over One Unary Function

» On the FirstOrder Reducibility of Unions of Conjunctive Queries over Inconsistent Database...

» EQLLite Effective FirstOrder Query Processing in Description Logics

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	TOCL
Authors	Martin Grohe, Luc Segoufin

Comments (0)