Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/10648
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKUIJPERS, Bart-
dc.contributor.authorVAN DEN BUSSCHE, Jan-
dc.date.accessioned2010-03-04T09:35:12Z-
dc.date.available2010-03-04T09:35:12Z-
dc.date.issued2010-
dc.identifier.citationMichaux, Christian & Steinhorn, Charles & Esparza, Javier (Ed.) Finite and Algorithmic Model Theory, p 77-108-
dc.identifier.urihttp://hdl.handle.net/1942/10648-
dc.description.abstractSpatial 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.isoen-
dc.publisherCambridge University Press-
dc.titleLogical Aspects of Spatial Databases-
dc.typeBook Section-
local.bibliographicCitation.authorsMichaux, Christian-
local.bibliographicCitation.authorsSteinhorn, Charles-
local.bibliographicCitation.authorsEsparza, Javier-
dc.identifier.epage108-
dc.identifier.spage77-
local.bibliographicCitation.jcatB3-
local.type.specifiedBook Section-
dc.bibliographicCitation.oldjcatB2-
local.bibliographicCitation.btitleFinite and Algorithmic Model Theory-
item.fulltextWith Fulltext-
item.contributorKUIJPERS, Bart-
item.contributorVAN DEN BUSSCHE, Jan-
item.fullcitationKUIJPERS, 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.-
item.accessRightsClosed Access-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
DURHAM06.pdfNon Peer-reviewed author version363.55 kBAdobe PDFView/Open
Show simple item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.