
























|
 |
|
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic
|
 |
Floris Geerts and
Bart Kuijpers
View Paper (PDF)
Return to Spatial and Constraint Databases
 |
|
Abstract
|
 |
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate linear approximations of spatial databases and study in which language they can be expressed effectively. Specifically, we show that they cannot be expressed in the standard first-order query language for polynomial constraint databases but that an extension of this first-order language with transitive closure suffices to express the approximation query in an effective manner. Furthermore, we introduce an extension of transitive-closure logic and show that this logic is complete for the computable queries on linear spatial databases. This result together with our first result implies that this extension of transitive-closure logic can express all computable topological queries on arbitrary spatial databases in the plane.
 |
|
References
|
 |
Note: References link to DBLP on the Web.
-
[1]
-
David J. Abel
,
Beng Chin Ooi
(Eds.): Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings.
Lecture Notes in Computer Science
692 Springer 1993, ISBN 3-540-56869-7
Contents
-
[2]
-
...
-
[3]
-
Michael Benedikt
,
Leonid Libkin
: Safe Constraint Queries.
PODS 1998
: 99-108
-
[4]
-
Michael Benedikt
,
Leonid Libkin
: Exact and Approximate Aggregation in Constraint Query.
PODS 1999
: 102-113
-
[5]
-
...
-
[6]
-
Alejandro P. Buchmann
,
Oliver Günther
,
Terence R. Smith
, Y.-F. Wang (Eds.): Design and Implementation of Large Spatial Databases, First Symposium SSD'89, Santa Barbara, California, July 17/18, 1989, Proceedings.
Lecture Notes in Computer Science
409 Springer 1990, ISBN 3-540-52208-5
Contents
-
[7]
-
...
-
[8]
-
Freddy Dumortier
,
Marc Gyssens
,
Luc Vandeurzen
,
Dirk Van Gucht
: On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases.
PODS 1997
: 68-77
-
[9]
-
Max J. Egenhofer
, John R. Herring (Eds.): Advances in Spatial Databases, 4th International Symposium, SSD'95, Portland, Maine, USA, August 6-9, 1995, Proceedings.
Lecture Notes in Computer Science
951 Springer 1995, ISBN 3-540-60159-7
Contents
-
[10]
-
...
-
[11]
-
...
-
[12]
-
Stéphane Grumbach
,
Philippe Rigaux
,
Michel Scholl
,
Luc Segoufin
: DEDALE, A Spatial Constraint Database.
DBPL 1997
: 38-59
-
[13]
-
Stéphane Grumbach
,
Philippe Rigaux
,
Luc Segoufin
: The DEDALE System for Complex Spatial Queries.
SIGMOD Conference 1998
: 213-224
-
[14]
-
Stéphane Grumbach
,
Jianwen Su
: First-order Definability over Constraint Databases.
CP 1995
: 121-136
-
[15]
-
Stéphane Grumbach
,
Jianwen Su
: Towards Practical Constraint Databases.
PODS 1996
: 28-39
-
[16]
-
Stéphane Grumbach
,
Jianwen Su
: Queries with Arithmetical Constraints.
TCS 173(1)
: 151-181(1997)
-
[17]
-
Oliver Günther
,
Hans-Jörg Schek
(Eds.): Advances in Spatial Databases, Second International Symposium, SSD'91, Zürich, Switzerland, August 28-30, 1991, Proceedings.
Lecture Notes in Computer Science
525 Springer 1991, ISBN 3-540-54414-3
Contents
-
[18]
-
Ralf Hartmut Güting
,
Dimitris Papadias
,
Frederick H. Lochovsky
(Eds.): Advances in Spatial Databases, 6th International Symposium, SSD'99, Hong Kong, China, July 20-23, 1999, Proceedings.
Lecture Notes in Computer Science
1651 Springer 1999, ISBN 3-540-66247-2
Contents
-
[19]
-
Paris C. Kanellakis
,
Gabriel M. Kuper
,
Peter Z. Revesz
: Constraint Query Languages.
JCSS 51(1)
: 26-52(1995)
-
[20]
-
Bart Kuijpers
,
Jan Paredaens
,
Marc Smits
,
Jan Van den Bussche
: Termination Properties of Spatial Datalog Programs.
Logic in Databases 1996
: 101-116
-
[21]
-
Bart Kuijpers
,
Jan Paredaens
,
Jan Van den Bussche
: On Topological Elementary Equivalence of Spatial Databases.
ICDT 1997
: 432-446
-
[22]
-
Bart Kuijpers
,
Marc Smits
: On Expressing Topological Connectivity in Spatial Datalog.
CDB 1997
: 116-133
-
[23]
-
Bart Kuijpers
,
Victor Vianu
: Topological Queries.
Constraint Databases 2000
: 231-273
-
[24]
-
Gabriel M. Kuper
,
Leonid Libkin
,
Jan Paredaens
: Introduction.
Constraint Databases 2000
: 1-16
-
[25]
-
...
-
[26]
-
Franco P. Preparata
,
Michael Ian Shamos
: Computational Geometry - An Introduction. Springer 1985, ISBN 3-540-96131-3
-
[27]
-
Michel Scholl
,
Agnès Voisard
(Eds.): Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings.
Lecture Notes in Computer Science
1262 Springer 1997, ISBN 3-540-63238-7
Contents
-
[28]
-
...
-
[29]
-
...
-
[30]
-
Luc Vandeurzen
,
Marc Gyssens
,
Dirk Van Gucht
: On the Desirability and Limitations of Linear Spatial Database Models.
SSD 1995
: 14-28
-
[31]
-
Luc Vandeurzen
,
Marc Gyssens
,
Dirk Van Gucht
: An Expressive Language for Linear Spatial Database Queries.
PODS 1998
: 109-118
Referenced by
-
Jan Van den Bussche
: Constraint databases: A tutorial introduction.
SIGMOD Record 29(3)
: 44-51(2000)
 |
|
BIBTEX
|
 |
@inproceedings{DBLP:conf/pods/GeertsK00,
author = {Floris Geerts and
Bart Kuijpers},
title = {Linear Approximation of Planar Spatial Databases Using Transitive-Closure
Logic},
booktitle = {Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
USA},
publisher = {ACM},
year = {2000},
isbn = {1-58113-214-X},
pages = {126-135},
crossref = {DBLP:conf/pods/00},
bibsource = {DBLP, http://dblp.uni-trier.de} } },
DiSC'01 Copyright ©2002 ACM Inc.
|