Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/605
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | KUIJPERS, Bart | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2005-02-16T14:30:38Z | - |
dc.date.available | 2005-02-16T14:30:38Z | - |
dc.date.issued | 1999 | - |
dc.identifier.citation | DATABASE THEORY - ICDT'99. p. 187-198 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/605 | - |
dc.description.abstract | Spatial databases are modeled as closed semi-algebraic subsets of the real plane. First-order logic over the reals, expanded with a symbol to address the database, provides a natural language for expressing properties of such databases. Motivated by applications in geographical information systems, this paper investigates the question of which topological properties can be thus expressed. We introduce a novel, two-tiered logic for expressing topological properties, called CL, which is subsumed by first-order logic over the reals. We put forward the question whether the two logics are actually equivalent (when restricting attention to topological properties). We answer this question affirmatively on the class of “region databases”. We also prove a general result which further illustrates the power of the logic CL. | - |
dc.format.extent | 236631 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.relation.ispartofseries | LECTURE NOTES IN COMPUTER SCIENC | - |
dc.title | On capturing first-order topological properties of planar spatial databases | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.conferencename | DATABASE THEORY - ICDT'99 | - |
dc.identifier.epage | 198 | - |
dc.identifier.spage | 187 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 1540 | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.isi | 000082775200013 | - |
item.fullcitation | KUIJPERS, Bart & VAN DEN BUSSCHE, Jan (1999) On capturing first-order topological properties of planar spatial databases. In: DATABASE THEORY - ICDT'99. p. 187-198. | - |
item.fulltext | With Fulltext | - |
item.validation | ecoom 2000 | - |
item.contributor | KUIJPERS, Bart | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.accessRights | Open Access | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
fotopo.pdf | 231.08 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
8
checked on Sep 28, 2024
Page view(s)
88
checked on Nov 7, 2023
Download(s)
254
checked on Nov 7, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.