Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/10648
Title: Logical Aspects of Spatial Databases
Authors: KUIJPERS, Bart 
VAN DEN BUSSCHE, Jan 
Issue Date: 2010
Publisher: Cambridge University Press
Source: Michaux, Christian & Steinhorn, Charles & Esparza, Javier (Ed.) Finite and Algorithmic Model Theory, p 77-108
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
Document URI: http://hdl.handle.net/1942/10648
Category: B3
Type: Book Section
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
DURHAM06.pdfPreprint363.55 kBAdobe PDFView/Open
Show full item record

Page view(s)

184
checked on May 18, 2022

Download(s)

280
checked on May 18, 2022

Google ScholarTM

Check


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