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 | 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.