Tractable recursion over geometric data
We study the issue of adding a recursion operator to constraint query languages for linear spatial databases. We introduce a language with a bounded inflationary fixpoint operator which is closed and captures the set of polynomial time computable queries over linear constraint databases. This is the first logical characterization of the class of PTIME queries in this context. To prove the result, we develop original techniques to perform arithmetical and geometric operations with constraints.
KeywordsGeographic Information System Distinguished Point Active Domain Linear Constraint Turing Machine
Unable to display preview. Download preview PDF.
- [AHV94]S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1994.Google Scholar
- [DGVG97]F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Gucht. On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases. In Proc. ACM Symp. on Principles of Database Systems, 1997.Google Scholar
- [GS97]S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173(1):151–181, 1997.Google Scholar
- [GST94]S. Grumbach, J. Su, and C. Tollu. Linear constraint query languages: Expressive power and complexity. In D. Leivant, editor, Logic and Computational Complexity, Indianapolis, 1994. Springer Verlag. LNCS 960.Google Scholar
- [Gue94]R. Gueting. An Introduction to Spatial Database Systems. The VLDB Journal, 3(4), 1994.Google Scholar
- [Gur88]Y. Gurevich. Current Trends in Theoretical Computer Science, E. Borger Ed., chapter Logic and the Challenge of Computer Science, pages 1–57. Computer Science Press, 1988.Google Scholar
- [Imm86]N. Immerman. Relational queries computable in polynomial time. Inf. and Control, 68:86–104, 1986.Google Scholar
- [KKR90]P. Kanellakis, G Kuper, and P. Revesz. Constraint query languages. In Proc. 9th ACM Symp. on Principles of Database Systems, pages 299–313, Nashville, 1990.Google Scholar
- [PVV95]J. Paredaens, J. Van den Bussche, and D. Van Gucht. First-order queries on finite structures over the reals. In Proceedings 10th IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 1995.Google Scholar
- [Var82]M. Vardi. The complexity of relational query languages. In Proc. 14th ACM Symp. on Theory of Computing, pages 137–146, 1982.Google Scholar
- [VGV95]L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the desirability and limitations of linear spatial database models. In Advances in Spatial Databases, 4th Int. Symp., SSD'95, pages 14–28. Springer, 1995.Google Scholar
- [Whi57]H. Whitney. Elementary structure of real algebraic varieties. Annals of Mathematics, 66:545–556, 1957.Google Scholar