Skip to main content
SpringerLink
Log in

On Capturing First-Order Topological Properties of Planar Spatial Databases

  • Conference paper
  • First Online:
Database Theory — ICDT’99 (ICDT 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1540))

Included in the following conference series:

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.

Post-doctoral research fellow of the Fund for Scientific Research of Flanders (FWO-Vlaanderen).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.

    Google Scholar 

  2. M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. Journal of the ACM, 45(1):1–34, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  3. M. Benedikt and L. Libkin. On the structure of queries in constraint query languages. In Proceedings 11th IEEE Symposium on Logic in Computer Science, pages 25–34. IEEE Computer Society Press, 1996.

    Google Scholar 

  4. J. Bochnak, M. Coste, and M.-F. Roy. Géométrie Algébrique Réelle. Springer-Verlag, 1987.

    Google Scholar 

  5. H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.

    Google Scholar 

  6. M. Egenhofer and R. Franzosa. Point-set topological spatial relations. Int. J. Geographical Information Systems, 5(2):161–174, 1991.

    Article  Google Scholar 

  7. M. Egenhofer and R. Franzosa. On the equivalence of topological relations. Int. J. Geographical Information Systems, 9(2):133–152, 1995.

    Article  Google Scholar 

  8. M. Egenhofer and D. Mark. Modeling conceptual neighborhoods of topological line-region relations. Int. J. Geographical Information Systems, 9(5):555–565, 1995.

    Article  Google Scholar 

  9. J. Flum and M. Ziegler. Topological Model Theory, volume 769 of Lecture Notes in Mathematics. Springer-Verlag, 1980.

    Google Scholar 

  10. S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173(1):151–181, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  11. C.W. Henson, C.G. Jockusch, Jr., L.A. Rubel, and G. Takeuti. First order topology, volume CXLIII of Dissertationes Mathematicae. Polska Akademia Nauk, 1977.

    Google Scholar 

  12. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26–52, August 1995.

    Article  MathSciNet  Google Scholar 

  13. E.E. Moise. Geometric Topology in Dimensions 2 and 3, volume 47 of Graduate Texts in Mathematics. Springer, 1977.

    Google Scholar 

  14. C.H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial data-bases. In Proceedings 15th ACM Symposium on Principles of Database Systems, pages 81–92. ACM Press, 1996.

    Google Scholar 

  15. J. Paredaens, B. Kuijpers, and J. Van den Bussche. On topological elementary equivalence of spatial databases. In F. Afrati and Ph. Kolaitis, editors, Database Theory—ICDT’97, volume 1186 of Lecture Notes in Computer Science, pages 432–446. Springer, 1997.

    Google Scholar 

  16. J. Paredaens, J. Van den Bussche, and D. Van Gucht. First-order queries on finite structures over the reals. SIAM Journal on Computing, 27(6):1747–1763, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  17. A. Pillay. First order topological structures and theories. Journal of Symbolic Logic, 52(3), September 1987.

    Google Scholar 

  18. D. Thompson R. Laurini. Fundamentals of Spatial Information Systems. Number 37 in APIC Series. Academic Press, 1992.

    Google Scholar 

  19. W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Language Theory, volume III. Springer, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. WNI, Limburgs Universitair Centrum, B-3590, Diepenbeek, Belgium

    Bart Kuijpers

  2. Dept. Math. & Computer Sci., University of Antwerp (UIA), Universiteitsplein 1, B-2610, Antwerp, Belgium

    Jan van den Bussche

Authors
  1. Bart Kuijpers
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan van den Bussche
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, The Hebrew University, Givat-Ram, Jerusalem, 91940, Israel

    Catriel Beeri

  2. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 19104-6389, USA

    Peter Buneman

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kuijpers, B., van den Bussche, J. (1999). On Capturing First-Order Topological Properties of Planar Spatial Databases. In: Beeri, C., Buneman, P. (eds) Database Theory — ICDT’99. ICDT 1999. Lecture Notes in Computer Science, vol 1540. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49257-7_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-49257-7_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65452-0

  • Online ISBN: 978-3-540-49257-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation