Topological Canonization of Planar Spatial Data and its Incremental Maintenance
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.
Unable to display preview. Download preview PDF.
- [AHV95]S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.Google Scholar
- [dBvKOS97]M. de Berg, M. van Kreveld, M. Overmars, and O. Schwarzkopf. Computational Geometry—Algorithms and Applications. Springer, 1997.Google Scholar
- [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
- [Koz92]D.C. Kozen. The Design and Analysis of Algorithms. Springer-Verlag, 1992.Google Scholar
- [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
- [Kui98]B. Kuijpers. Topological properties of spatial databases in the polynomial constraint model. PhD thesis, University of Antwerp (UIA), 1998.Google Scholar
- [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
- [PS85]F.P. Preparata and M.I. Shamos. Computational Geometry—An Introduction. Springer-Verlag, 1985.Google Scholar
- [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
- [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
- [TL92]D. Thompson and R. Laurini. Fundamentals of Spatial Information Systems. Number 37 in APIC Series. Academic Press, 1992.Google Scholar