Provably correct and complete transaction rules for GIS

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Provably correct and complete transaction rules for GIS

Full text

Pdf (730 KB)

Source

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

Las Vegas, Nevada, United States

Pages: 40 - 43

Year of Publication: 1997

ISBN:1-58113-017-1

Authors

Gerhard Gröger	Universität Bonn, Institut für Kartographie and Topographie, Meckenheimer Allee 172, D-53115 Bonn, Germany
Lutz Plümer	Universität Bonn, Institut für Informatik III, Römerstr. 164, D-53117 Bonn, Germany

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 28, Citation Count: 3

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/267825.267837 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.

	BMM91	François Bry , Rainer Manthey , Bern Martens, Integrity Verification in Knowledge Bases, Proceedings of the First Russian Conference on Logic Programming, p.114-139, September 14-18, 1990
	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.
	GRP97	Grtiger, G., Pliimer, L., Provably Correct and Complete Transaction Rules for GIS, to appear as Technical Report, Institute of Computer Science III, Univ. of Bonn, 1997, available at http ://www.informatik.uni-bonn.de/~lutz/publicltr97.ps.gz.
	KAD82	Kadmon, N., Cartograms and Topology, Cartographica, Vol. 19, No. 3/4, pp. 1-17, 1982.
	KAI95	Kainz, W., Logical Consistency, in Guptill, S.C., Morrison, J.L. (F_As.), Elements of Spatial Data Quality, Elsevier, 1995.
	KUF95	Kufoniyi, O., Spatial coincidence modelling, automated database updating and data consistency in vector tTIS, int. Institute for Aerospace Survey and Earth Science 0TC), Publication No. 28, Ensehede, The Netherlands, 1995.
	LAT92	Laurini, R., Thompson, D., Fundamentals of Spatial Information Systems, Academic Press, 1992.
	MOL91	Molenaar, M., Formal data structures, object dynamics and consistency rules, in Ebner, Fritsch, Heipke (Ezts.) Digital Photogrammetn'c Systems, Wichmann, 1991.
	NIC82	Nicolas, LM., Logic for Improving Integrity Checking in Relational Data Bases, Acta Informatica 18, pp. 227-235, 1982.
	PLG96	Lutz Plümer , Gerhard Gröger, Nested maps—a formal, provably correct object model for spatial aggregates, Proceedings of the 4th ACM international workshop on Advances in geographic information systems, p.76-83, November 1996, Rockville, Maryland, United States [doi>10.1145/258319.258340]
	PLG97	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 [doi>10.1023/A:1009706411129]
	PLU96	Plfimer, L., Achieving Integrity of Geometry and Topology in Geographical Information Systems, Proc. of the "SA- MOS" Int. Conf. on GIS in Urban, Environmental and Regional Planning, Island of Samos, Greece, April 19-21, 1996.
	ULL89	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	WIC96	Widom, J., Ceil, S., Active Database Systems, Morgan Kaufmann, San Francisco,1996.

CITED BY 3

	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