Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/8242
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | GEERTS, Floris | - |
dc.contributor.author | HAESEVOETS, Sofie | - |
dc.contributor.author | KUIJPERS, Bart | - |
dc.date.accessioned | 2008-04-21T13:04:07Z | - |
dc.date.available | 2008-04-21T13:04:07Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 9(2) | - |
dc.identifier.issn | 1529-3785 | - |
dc.identifier.uri | http://hdl.handle.net/1942/8242 | - |
dc.description.abstract | We address a fundamental question concerning spatio-temporal database systems: "What are exactly spatio-temporal queries?" We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is defined as invariance under groups of geometric transformations that preserve certain characteristics of spatio-temporal data (e. g., collinearity, distance, velocity, acceleration,...). These groups depend on the notions that are relevant in particular spatio-temporal database applications. These transformations also have the distinctive property that they respect the monotone and unidirectional nature of time. We investigate different genericity classes with respect to the constraint database model for spatio-temporal databases and we identify sound and complete languages for the first-order and the computable queries in these genericity classes. We distinguish between genericity determined by time-invariant transformations, genericity notions concerning physical quantities and genericity determined by time-dependent transformations. | - |
dc.language.iso | en | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.subject.other | design; languages; theory; constraint databases; moving objects; query languages; spatial databases; spatio-temporal databases | - |
dc.title | First-order complete and computationally complete query languages for spatio-temporal databases | - |
dc.type | Journal Contribution | - |
dc.identifier.issue | 2 | - |
dc.identifier.volume | 9 | - |
local.format.pages | 51 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | Univ Edinburgh, Lab Fdn Comp Sci, Edinburgh EH8 9LE, Midlothian, Scotland. Hasselt Univ, Theoret Comp Sci Grp, B-3590 Diepenbeek, Belgium.Geerts, F, Univ Edinburgh, Lab Fdn Comp Sci, Appleton Tower,Crichton St, Edinburgh EH8 9LE, Midlothian, Scotland.fgeerts@inf.ed.ac.uk sofie.haesevoets@luciad.com bart.kuijpers@uhasselt.be | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.isi | 000254731300006 | - |
dc.identifier.url | http://doi.acm.org/10.1145/1342991.1342997 | - |
item.contributor | GEERTS, Floris | - |
item.contributor | HAESEVOETS, Sofie | - |
item.contributor | KUIJPERS, Bart | - |
item.fullcitation | GEERTS, Floris; HAESEVOETS, Sofie & KUIJPERS, Bart (2008) First-order complete and computationally complete query languages for spatio-temporal databases. In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 9(2). | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
item.validation | ecoom 2009 | - |
crisitem.journal.issn | 1529-3785 | - |
crisitem.journal.eissn | 1557-945X | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
first order.pdf | 527.22 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
2
checked on May 2, 2024
Page view(s)
94
checked on Jul 28, 2023
Download(s)
136
checked on Jul 28, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.