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 |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.