Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/2819
Title: | A triangle-based logic for affine-invariant querying of two-dimensional spatial data | Authors: | HAESEVOETS, Sofie | Issue Date: | 2004 | Publisher: | SPRINGER-VERLAG BERLIN | Source: | CONSTRAINT DATABASES, PROCEEDINGS. p. 52-73 | Series/Report: | LECTURE NOTES IN COMPUTER SCIENCE | Series/Report no.: | 3074 | 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 over 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: | Limburgs Univ Ctr, Dept WNI, B-3590 Diepenbeek, Belgium.Haesevoets, S, Limburgs Univ Ctr, Dept WNI, Univ Campus, B-3590 Diepenbeek, Belgium.sofie.haesevoets@luc.ac.be | Document URI: | http://hdl.handle.net/1942/2819 | ISBN: | 978-3-540-22126-5 | ISSN: | 0302-9743 | DOI: | 10.1007/b98003 | ISI #: | 000222323700004 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2005 |
Appears in Collections: | Research publications |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.