Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/10648
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | KUIJPERS, Bart | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2010-03-04T09:35:12Z | - |
dc.date.available | 2010-03-04T09:35:12Z | - |
dc.date.issued | 2010 | - |
dc.identifier.citation | Michaux, Christian & Steinhorn, Charles & Esparza, Javier (Ed.) Finite and Algorithmic Model Theory, p 77-108 | - |
dc.identifier.uri | http://hdl.handle.net/1942/10648 | - |
dc.description.abstract | Spatial data and first-order logic - Capturing first-order geometric properties - First-order topological properties of plain sets - Conclusion on first-order topological properties - Point-based logics for geometric queries - Plane graphs - Spatial datalog and first-order logic extend with a while-loop - First-order logic extended with transitive-closure operators - Expressiveness properties of transitive-closure logics - Deciding termination of transitive-closure logic expressions - Some concluding remarks on transitive-closure logics | - |
dc.language.iso | en | - |
dc.publisher | Cambridge University Press | - |
dc.title | Logical Aspects of Spatial Databases | - |
dc.type | Book Section | - |
local.bibliographicCitation.authors | Michaux, Christian | - |
local.bibliographicCitation.authors | Steinhorn, Charles | - |
local.bibliographicCitation.authors | Esparza, Javier | - |
dc.identifier.epage | 108 | - |
dc.identifier.spage | 77 | - |
local.bibliographicCitation.jcat | B3 | - |
local.type.specified | Book Section | - |
dc.bibliographicCitation.oldjcat | B2 | - |
local.bibliographicCitation.btitle | Finite and Algorithmic Model Theory | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
item.contributor | KUIJPERS, Bart | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.fullcitation | KUIJPERS, Bart & VAN DEN BUSSCHE, Jan (2010) Logical Aspects of Spatial Databases. In: Michaux, Christian & Steinhorn, Charles & Esparza, Javier (Ed.) Finite and Algorithmic Model Theory, p 77-108. | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
DURHAM06.pdf | Non Peer-reviewed author version | 363.55 kB | Adobe PDF | View/Open |
Page view(s)
190
checked on Sep 7, 2022
Download(s)
298
checked on Sep 7, 2022
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.