www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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
Citation: 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
URI: http://hdl.handle.net/1942/10648
Category: B3
Type: Book Section
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
Preprint363.55 kBAdobe PDF

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