Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/643
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | KUIJPERS, Bart | - |
dc.contributor.author | Smits, Marc | - |
dc.date.accessioned | 2005-03-17T10:48:56Z | - |
dc.date.available | 2005-03-17T10:48:56Z | - |
dc.date.issued | 1996 | - |
dc.identifier.citation | Constraint Databases and Applications. p. 116-133. | - |
dc.identifier.isbn | 978-3-540-62501-8 | - |
dc.identifier.uri | http://hdl.handle.net/1942/643 | - |
dc.description.abstract | We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databases in spatial Datalog. In [10], a spatial Datalog program for piecewise linear connectivity was given and proved to correctly test the connectivity of linear spatial databases. In particular, the program was proved to terminate on these inputs. Here, we generalize this result and give a program that correctly tests connectivity of spatial databases definable by a quantifier-free formula in which at most quadratic polynomials appear. We also show that a further generalization of our approach to spatial databases that are only definable in terms of polynomials of higher degree is impossible. The class of spatial databases that can be defined by a quantifier-free formula in which at most quadratic polynomials appear is shown to be decidable. Finally, we give a number of possible other approaches to attack the problem of expressing the connectivity query for arbitrary two-dimensional spatial databases in spatial Datalog. | - |
dc.format.extent | 167156 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer-Verlag | - |
dc.relation.ispartofseries | Lecture Notes in Computer Science | - |
dc.title | On expressing topological connectivity in spatial Datalog. | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencedate | January 11–12, 1997 | - |
local.bibliographicCitation.conferencename | International Workshop on Constraint Database Systems, CDB '97 | - |
dc.bibliographicCitation.conferencenr | 2 | - |
local.bibliographicCitation.conferenceplace | Delphi, Greece | - |
dc.identifier.epage | 133 | - |
dc.identifier.spage | 116 | - |
local.type.specified | Proceedings Paper | - |
local.relation.ispartofseriesnr | 1191 | - |
dc.bibliographicCitation.oldjcat | - | |
dc.identifier.doi | 10.1007/3-540-62501-1_29 | - |
local.bibliographicCitation.btitle | Constraint Databases and Applications | - |
item.fullcitation | KUIJPERS, Bart & Smits, Marc (1996) On expressing topological connectivity in spatial Datalog.. In: Constraint Databases and Applications. p. 116-133.. | - |
item.fulltext | With Fulltext | - |
item.contributor | KUIJPERS, Bart | - |
item.contributor | Smits, Marc | - |
item.accessRights | Open Access | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
sdcql23.pdf | 163.24 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.