Topological Canonization of Planar Spatial Data and its Incremental Maintenance

  • Floris Geerts
  • Bart Kuijpers
  • Jan Van den Bussche
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 496)

Abstract

It is known that to a planar spatial database, represented by a semi-algebraic set in the plane, one can associate a structure, here called the “topological canonization”, such that two databases are topologically equivalent if and only if their topological canonizations are isomorphic. The advantage of a topological canonization is that it contains precisely the information one needs if one is only interested in topological properties of the spatial data. In this paper we represent semi-algebraic sets using plane graph structures. Canonizations are represented by plane graph structures as well (the so-called canonical structures). We discuss the basic properties of canonical structures and of canonization. We then present a method for incremental maintenance of the canonization under elementary updates on the original spatial database. Incremental maintenance takes less time than recomputing the canonization from scratch.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AHV95]
    S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.Google Scholar
  2. [dBvKOS97]
    M. de Berg, M. van Kreveld, M. Overmars, and O. Schwarzkopf. Computational Geometry—Algorithms and Applications. Springer, 1997.Google Scholar
  3. [HRR91]
    J. Heintz, T. Recio, and M.-F. Roy. Algorithms in real algebraic geometry and applications to computational geometry. In J. Goodman, R. Pollack, and W. Steiger, editors, Discrete and Computational Geometry, volume 6. AMS-ACM, 1991.Google Scholar
  4. [KKR95]
    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.MathSciNetCrossRefGoogle Scholar
  5. [Koz92]
    D.C. Kozen. The Design and Analysis of Algorithms. Springer-Verlag, 1992.Google Scholar
  6. [KPVdB95]
    B. Kuijpers, J. Paredaens, and J. Van den Bussche. Lossless representation of topological spatial data. In M.J. Egenhofer and J.R. Herring, editors, Advances in Spatial Databases, volume 951 of Lecture Notes in Computer Science, pages 1–13. Springer, 1995.Google Scholar
  7. [Kui98]
    B. Kuijpers. Topological properties of spatial databases in the polynomial constraint model. PhD thesis, University of Antwerp (UIA), 1998.Google Scholar
  8. [KY85]
    D. Kozen and C.-K. Yap. Algebraic cell decomposition in NC (preliminary version). In Proceedings 26th Annual Symposium on Foundations of Computer Science, pages 515–521. IEEE, 1985.Google Scholar
  9. [PS85]
    F.P. Preparata and M.I. Shamos. Computational Geometry—An Introduction. Springer-Verlag, 1985.Google Scholar
  10. [PSV96]
    C.H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proceedings 15th ACM Symposium on Principles of Database Systems, pages 81–92. ACM Press, 1996.Google Scholar
  11. [Ren92]
    J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255–352, 1992.MathSciNetMATHCrossRefGoogle Scholar
  12. [SV98]
    L. Segoufin and V. Vianu. Querying spatial databases via topological invariants. In Proceedings 17th ACM Symposium on Principles of Database Systems, pages 89–98. ACM Press, 1998.Google Scholar
  13. [TL92]
    D. Thompson and R. Laurini. Fundamentals of Spatial Information Systems. Number 37 in APIC Series. Academic Press, 1992.Google Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Floris Geerts
    • 1
  • Bart Kuijpers
    • 2
  • Jan Van den Bussche
    • 1
  1. 1.University of Limburg (LUC)Belgium
  2. 2.University of Antwerp (UIA)Belgium

Personalised recommendations