Achieving Integrity in Geographic Information Systems—Maps and Nested Maps
暂无分享,去创建一个
[1] Jennifer Widom,et al. Active Database Systems , 1995, Modern Database Systems.
[2] Jeffrey D. Ullman,et al. Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.
[3] Jeffrey D. Ullman,et al. Principles Of Database And Knowledge-Base Systems , 1979 .
[4] A. Frank,et al. Cell Graphs: A Provable Correct Method for the Storage of Geometry * , 1986 .
[5] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[6] Ralf Hartmut Güting,et al. Realms: A Foundation for Spatial Data Types in Database Systems , 1993, SSD.
[7] F. Frances Yao,et al. Computational Geometry , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.
[8] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[9] O. Kufoniyi. Spatial coincidence modelling, automated database updating and data consistency in vector GIS. , 1995 .
[10] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .
[11] F. Frances Yao,et al. Finite-resolution computational geometry , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).
[12] Ralf Hartmut Güting,et al. An introduction to spatial database systems , 1994, VLDB J..
[13] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .
[14] Michael F. Worboys,et al. A Canonical Model for a Class of Areal Spatial Objects , 1993, SSD.
[15] Derek Thompson,et al. Fundamentals of spatial information systems , 1992, A.P.I.C. series.
[16] Frank Harary,et al. Graph Theory , 2016 .
[17] M. Molenaar,et al. Formal data structures, object dynamics and consistency rules. , 1991 .
[18] M. Molenaar,et al. Topologic consistency operations in vector maps. , 1995 .
[19] Lutz Plümer,et al. Provably correct and complete transaction rules for GIS , 1997, GIS '97.
[20] Michael Ian Shamos,et al. Computational geometry: an introduction , 1985 .
[21] Andrew U. Frank,et al. A Topological Data Model for Spatial Databases , 1990, SSD.
[22] J Corbett,et al. Topological principles in cartography , 1979 .
[23] Lutz Plümer,et al. Nested maps—a formal, provably correct object model for spatial aggregates , 1996, GIS '96.