Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/605
Title: On capturing first-order topological properties of planar spatial databases
Authors: KUIJPERS, Bart 
VAN DEN BUSSCHE, Jan 
Issue Date: 1999
Publisher: Springer
Source: DATABASE THEORY - ICDT'99. p. 187-198
Series/Report: LECTURE NOTES IN COMPUTER SCIENC
Series/Report no.: 1540
Abstract: Spatial databases are modeled as closed semi-algebraic subsets of the real plane. First-order logic over the reals, expanded with a symbol to address the database, provides a natural language for expressing properties of such databases. Motivated by applications in geographical information systems, this paper investigates the question of which topological properties can be thus expressed. We introduce a novel, two-tiered logic for expressing topological properties, called CL, which is subsumed by first-order logic over the reals. We put forward the question whether the two logics are actually equivalent (when restricting attention to topological properties). We answer this question affirmatively on the class of “region databases”. We also prove a general result which further illustrates the power of the logic CL.
Document URI: http://hdl.handle.net/1942/605
ISI #: 000082775200013
Type: Journal Contribution
Validations: ecoom 2000
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
fotopo.pdf231.08 kBAdobe PDFView/Open
Show full item record

WEB OF SCIENCETM
Citations

8
checked on May 22, 2022

Page view(s)

66
checked on May 25, 2022

Download(s)

184
checked on May 25, 2022

Google ScholarTM

Check


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