Nested maps—a formal, provably correct object model for spatial aggregates

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Nested maps—a formal, provably correct object model for spatial aggregates

Full text

Pdf (1.03 MB)

Source

Geographic Information Systems archive
Proceedings of the 4th ACM international workshop on Advances in geographic information systems table of contents

Rockville, Maryland, United States

Pages: 76 - 83

Year of Publication: 1996

ISBN:0-89791-874-6

Authors

Lutz Plümer	Universität Bonn. Institut für Informatik III
Gerhard Gröger	Universität Bonn. Institut für Kartographie und Topographie

Sponsors

SIGART: ACM Special Interest Group on Artificial Intelligence
SIGIR: ACM Special Interest Group on Information Retrieval
SIGLINK: Hypertext, Hypermedia, and Web

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 25, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/258319.258340 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ARM79	Armstrong, M. A., Basic Topology, Maidenhead: McGraw-Hill, 1979.
	EFJ89	M. J. Egenhofer , A. U. Frank , J. P. Jackson, A topological data model for spatial databases, Proceedings of the first symposium on Design and implementation of large spatial databases, p.271-286, February 1990, Santa Barbara, California, United States
	EGS92	Egenhofer, M. J., Sharma, J., Topological Consistency, in Proc. 5th Int. Syrup. on Spatial Data Handling, P. Presnahan, E. Corwin, and D. Cowen (Eds.), Charleston, South Carolina, Vol. 1, pp. 335-343, 1992.
	EVE79	Even, S., Graph Theory, Computer Science Press, 1979.
	FRK86	Frank, A., Kuhn, W., Cell Graphs: A provable correct method for the storage of geometry, Proc. of the Second Int. Syrup. on Spatial Data Handling, Seattle, 1986.
	GRY86	Greene, D., Yao, F., Finite resolution computational geometry, Proc. of the 27th IEEE Syrup. on the Foundations of Computer Science, New York: IEEE, pp. 143-152, 1986.
	GUE94	Ralf Hartmut Güting, An introduction to spatial database systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.4, October 1994
	GUS93	Ralf Hartmut Güting , Markus Schneider, Realms: A Foundation for Spatial Data Types in Database Systems, Proceedings of the Third International Symposium on Advances in Spatial Databases, p.14-35, June 23-25, 1993
	HAR69	Harary, F., Graph Theory, Addison-Wesley, 1969.
	KAI90	Kainz, W., Spatial Relationships - topology versus order, in Proc. Fourth Int. Syrup. on Spatial Data Handling, Zurich, Switzerland, edited by K. Brassel and H. Kishimoto, Vol. 2, pp. 814- 819, 1990.
	KAI95	Kainz, W., Logical Consistency, in Guptill, S. C., Morrison, J. L. (Eds.), Elements of Spatial Data Quality, Elsevier, 1995.
	KMB95	Kufoniyi, O., Molenaar, M., Bouloucos, T., Topologic Consistency Operations in Vector Maps, GIS 4, pp. 7-13, 1995.
	KUF95	Kufoniyi, O., 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.
	LAM91	Laurini, R., Milleret-Raffort, F., Using integrity constraints for checking consistency of spatial databases, GIS/LIS 1991 Proceedings, Atlanta, Georgia, USA, pp. 634-642, 1991.
	LAT92	Laurini, R., Thompson, D., Fundamentals of Spatial Information Systems, Academic Press, 1992.
	MAS88	Marx, R. W., Saalfeld, A. J., Programs for assuring map quality at the Bureau of the Census. Fourth Annual Research Conf., US Bureau of the Census, Arlington, Virginia. Washington DC, USA: US Government Printing Office, 1988.
	MOL91	Molenaar, M., Formal data structures, object dynamics and consistency roles, in Digital Photogrammetric Systems, Eds.: Ebner, Fritsch, Heipke, Wichmann, 1991.
	PLU96	L., 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.
	PRS85	Franco P. Preparata , Michael I. Shamos, Computational geometry: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
	ULL89	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	WIC96	Widom, J., Ceri, S., Active Database Systems, Morgan Kaufmann, San Francisco, 1996.
	WOB93	Michael F. Worboys , Petros Bofakos, A Canonical Model for a Class of Areal Spatial Objects, Proceedings of the Third International Symposium on Advances in Spatial Databases, p.36-52, June 23-25, 1993
	WOR95	Michael Worboys , Matt Duckham, GIS: A Computing Perspective, 2nd Edition, CRC Press, Inc., Boca Raton, FL, 2004

CITED BY 4

	Gerhard Gröger , Lutz Plümer, Provably correct and complete transaction rules for GIS, Proceedings of the 5th ACM international workshop on Advances in geographic information systems, p.40-43, November 10-14, 1997, Las Vegas, Nevada, United States
	Gerhard Gröger , Lutz Plümer, Exploiting 2D concepts to achieve consistency in 3D GIS applications, Proceedings of the 11th ACM international symposium on Advances in geographic information systems, p.78-85, November 07-08, 2003, New Orleans, Louisiana, USA
	Lutz Plümer , Gerhard Gröger, Achieving Integrity in Geographic Information Systems—Maps and Nested Maps, Geoinformatica, v.1 n.4, p.345-367, December 1997
	Gerhard Gröger , Lutz Plümer, How to Get 3-D for the Price of 2-D--Topology and Consistency of 3-D Urban GIS, Geoinformatica, v.9 n.2, p.139-158, June 2005