Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/9496
Title: | A triangle-based logic for affine-invariant querying of spatial and spatio-temporal data | Authors: | HAESEVOETS, Sofie KUIJPERS, Bart |
Issue Date: | 2008 | Publisher: | ArXiv (Corr) | Abstract: | In spatial databases, incompatibilities often arise due to different choices of origin or unit of measurement(e.g centimeters versus inches). By representing and querying the data in an affine-invariant manner, we can avoid these incompatibilities. In practice, spatial(resp.,spatio-temporal) data is often represented as a finite union of triangles(resp.,moving triangles). As two arbitrary triangles are equal up to a unique affinity of the plane, they seem perfect candidates as basic units for an affine-invariant query language. We propose a so-called "triangle logic", a query language that is affine-generic and has triangles as basic elements. We show that this language has the same expressive power as the affine-generic fragment of first-order logic ove the reals on triangle databases. We illustrate that the proposed language is simple and intuitive. It can also serve as a first step towards a "moving-triangle logic" for spatio-temporal data. | Notes: | http://arxiv.org/abs/0810.5725 | Document URI: | http://hdl.handle.net/1942/9496 | Category: | R2 | Type: | Research Report |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
0810.5725v2.pdf | 427.76 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.