Achieving Integrity in Geographic Information Systems - Maps and Nested Maps

GeoInformatica

Volumn 1, Issue 4, 1997, Pages 345-367

  Plümer, Lutz ^a,b,c   Gröger, Gerhard ^a,c  

^a UNIVERSITY OF BONN   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

^c UNIVERSITY OF VECHTA   (Germany)

Author keywords

Aggregation; Combinatorial maps; Correctness and completeness of axioms; Graph theory; Irregular tessellation; Nested maps; Spatial data models; Topology

Indexed keywords

DATA STRUCTURES; DATABASE SYSTEMS; GRAPH THEORY; MAPS; MATHEMATICAL MODELS; TOPOLOGY;

COMBINATORIAL MAPS; IRREGULAR TESSELLATION; NESTED MAPS;

GEOGRAPHIC INFORMATION SYSTEMS;

EID: 0031368008     PISSN: 13846175     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009706411129     Document Type: Article

References (31)

1. M.A. Armstrong. Basic Topology, McGraw-Hill: Maidenhead, 1979.
2. J.P. Corbett. "Topological Principles in Cartography," Technical Paper No. 48, US Bureau of the Census, US Government Printing Office: Washington, DC, USA, 1979.
3. M.J. Egenhofer, A. Frank, and J.P. Jackson. "A Topological Data Model for Spatial Databases," Proc. of the International Symposium on Spatial Databases (SSD 89), LNCS No. 409, Springer-Verlag: Santa Barbara, CA, pp. 189-211, 1989.
4. M.J. Egenhofer and J. Sharma. "Topological Consistency," in Proc. 5th Int. Symp. on Spatial Data Handling, P. Presnahan, E. Corwin, and D. Cowen (Eds.), Charleston, South Carolina, Vol. 1, pp. 335-343, 1992.
5. S. Even. Graph Theory, Computer Science Press, 1979.
6. A. Frank and W. Kuhn. "Cell Graphs: A provable correct method for the storage of geometry," Proc. of the Second Int. Symp. on Spatial Data Handling, Seattle, 1986.
7. G. Gröger and L. Plümer. ̈Provably Correct and Complete Transaction Rules for GIS,̈ Proc. of the 5th ACM Workshop on Geographic Information Systems, Las Vegas, Nevada, USA, November 13-14, ACM Press, 1997.
8. th IEEE Symp. on the Foundations of Computer Science, IEEE: New York, pp. 143-152, 1986.
9. R. Güting, "An Introduction to Spatial Database Systems," The Int. Journal on Very Large Databases, Vol. 3, No. 4, October 1994.
10. R. Güting and M. Schneider. "Realms: A foundation for spatial data types in database systems," Proc. of the Third Int. Symp. on Large Spatial Databases, Singapore, 1993.
11. F. Harary. Graph Theory, Addison-Wesley, 1969.
12. E.U. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
13. W. Kainz. "Spatial Relationships - topology versus order," in Proc. Fourth Int. Symp. on Spatial Data Handling, edited by K. Brassel and H. Kishimoto, Zurich, Switzerland, Vol. 2, pp. 814-819, 1990.
14. W. Kainz. Logical Consistency, in S.C. Guptill and J.L. Morrison (Eds.), Elements of Spatial Data Quality, Elsevier, 1995.
15. O. Kufoniyi, M. Molenaar, and T. Bouloucos. Topologic Consistency Operations in Vector Maps, GIS 4, pp. 7-13, 1995.
16. O. Kufoniyi. Spatial coincidence modelling, automated database updating and data consistency in vector GIS, Int. Institute for Aerospace Survey and Earth Science (ITC), Publication No. 28, Enschede, The Netherlands, 1995.
17. R. Laurini and F. Milleret-Raffort. "Using integrity constraints for checking consistency of spatial databases," GIS/LIS 1991 Proceedings, Atlanta, Georgia, USA, pp. 634-642, 1991.
18. R. Laurini and D. Thompson. Fundamentals of Spatial Information Systems, Academic Press, 1992.
19. R.W. Marx and A.J. Saalfeld. "Programs for assuring map quality at the Bureau of the Census." Fourth Annual Research Conf., US Bureau of the Census, Arlington, Virginia, US Government Printing Office: Washington DC, USA, 1988.
20. M. Molenaar. Formal data structures, object dynamics and consistency rules, in (Eds.) Ebner, Fritsch, Heipke, Wichmann, Digital Photogrammetric Systems, 1991.
21. M. Molenaar. Spatial Concepts as Implemented in GIS, in A.U. Frank (Ed.) Geographic Information Systems - Materials for a Post-Graduate Course, Vol. 1: Spatial Information, Department of Geoinformation, Technical University Vienna, Austria, 1995.
22. J. Nunes. General Concepts of Space and Time, in A.U. Frank (Ed.) Geographic Information Systems - Materials for a Post-Graduate Course, Vol. 1: Spatial Information, Department of Geoinformation, Technical University Vienna, Austria, 1995.
23. L. Plümer and G. Gröger. "Nested Maps - a Formal, Provably Correct Object Model for Spatial Aggregates," Proc. of the fourth ACM Workshop on Advances in Geographic Information Systems, pp. 77-84, Rockville, Maryland, November 15-16, ACM Press, 1996.
24. L. Plümer. "Achieving Integrity of Geometry and Topology in Geographical Information Systems," Proc. of the "SAMOS" Int. Conf. on Geographic Information Systems in Urban, Environmental and Regional Planning, Island of Samos, Greece, April 19-21, 1996.
25. F.P. Preparata and M.I. Shamos. Computational Geometry, Springer, 1985.
26. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design, Prentice Hall, 1991.
27. J.R. Shoenfield, Mathematical Logic, Addison-Wesley, 1979.
28. J.D. Ullman. Principles of Database and Knowledge-Base Systems, Volumes I and II, Computer Science Press, 1989.
29. J. Widom and S. Ceri. Active Database Systems, Morgan Kaufmann, San Francisco, 1996.
30. M.F. Worboys and P. Bofakos. A canonical model for a class of areal spatial objects, in D. Abel and B.C. Ooi (Eds.) Advances in Spatial Databases, Proc. of SSD'93, Singapore, LNCS No. 692, Springer-Verlag, pp. 36-52, 1993.
31. M.F. Worboys. GIS - A Computing Perspective, Taylor and Francis, 1995.