Many sorted algebraic data models for GIS

References

• ANDLEIG , P. K. and GRETZINGE , M. R. 1992 . Distributed object-oriented data-systems desig , Englewood Cliffs : Prentice-Hall .
   Google Scholar
• BRE , R. 1991 . Algebraic specification techniques in object-oriented programming environments. Lecture notes in computer science 56 , New York : Springer-Verlag .
   Google Scholar
• CA , A. and FRAN , A. U . 1995 . Formalization of conceptual models for GIS using GOFER . Computers, Environment, and Urban Systems , 19 : 89 – 98 .
   Web of Science ®Google Scholar
• CATTEL , R. G. G . 1991 . Object data management-object-oriented and extended relational database system , Reading : Addison-Wesley .
   Google Scholar
• CHAN , C. L. and LE , R. C. T. 1973 . Symbolic logic and mechanical theorem provin , San Diego : Academic Press .
   Google Scholar
• CHE , F. J. 1997 . The development of an integrated geographic database with persistent programming language , Master thesis Tainan , , Taiwan : National Cheng Kung University .
   Google Scholar
• COUCLELI , H . 1997 . From cellular automata to urban models: new principles for model development and implementation . Environment and Planning B: Planning and Design , 24 : 165 – 174 .
   Web of Science ®Google Scholar
• COWE , D. J. and SHIRLE , W. L. 1991 . Integrated planning information systems . Geographical Information Systems , 2 : 297 – 310 .
   Google Scholar
• DAT , C. J. 1990 . Relational databas , Reading : Addison-Wesley .
   Google Scholar
• ELMASR , R. and NAVATH , S. B. 1989 . Fundamentals of database system , Redwood City : Benjamin/Cummings .
   Google Scholar
• FUTASUG , K. , GOGUE , J. A. , KOUANNAU , J. P. and MESEGUE , J. Principles of OBJ2 . In Proceedings 1985 ACM Symposium on Principles of Programming Languages . pp. 52 – 66 . New York : AOM Press .
   Google Scholar
• OHEZZ , C. and JAZAYER , M. 1982 . Programming language concept , New York : John Wiley .
   Google Scholar
• GIARRATAN , J. and RILE , G . 1989 . Expert system , Boston : PWS-Kent Publishing .
   Google Scholar
• GOGUE , J. , THATCH , J. and WAGNE , E. 1976 . An initial algebraic approach to the specification, correctness, and implementation of abstract data types. Research Report of IBM T J Watson Research Cente , Armonk , NY : IBM .
   Google Scholar
• GOODCHIL , M. F. 1991 . “ The technological setting of GIS ” . In Geographical Information System , Edited by: Maguir , D. J. , Goodchil , M. F. and Rhin , D. W. 45 – 54 . London : Longman .
   Google Scholar
• GRAHA , L. 1991 . Object-oriented method , Reading : Addison-Wesley .
   Google Scholar
• GUTIN , R. H . 1988 . “ Geo-relational algebra: a model and query language for geometric database systems ” . In Advances in Database Technology (EDBT '88) Lecture Notes in Computer Scienc , Edited by: Schmid , J. , Cer , S. and Missikof , M. 506 – 527 . Berlin : Springer-Verlag .
   Google Scholar
• HENNESS , M. 1988 . Algebraic theory of processe , London : MIT Press .
   Google Scholar
• JAFFA , J. , LASSE , J. L. and MAHE , M. J. 1986 . Some issues and trends in the semantics of logic programming. Research Report of IBM T J Watson Research Cente , Armonk , NY : IBM .
   Google Scholar
• KAIN , W. , EGENHOFE , M. J. and GREASLE , L. 1993 . Modelling spatial relations and operations with partially ordered sets . International journal of Geographical Information Systems , 7 : 215 – 229 .
   Web of Science ®Google Scholar
• KOSTER , G. , PAGE , B.‐U. and Si , H.‐W. 1997 . GIS-application development with GEOOOA . International Journal of Geographical Information Science , 11 : 307 – 335 .
   Web of Science ®Google Scholar
• LAURIN , R. and THOMPSO , D. 1992 . Fundamentals of spatial information systems , The APIC series, 37 95 – 99 . London : Academic Press .
   Google Scholar
• LI , F. T. 1989 . MATHCORE: A mathematical constraint resolution system , Chicago : Northwestern University . Ph.D. dissertation
   Google Scholar
• LI , F. T. and YOUN , J. J. An algebraic data model for GES . In Proceedings of GIS in ASIA, Selected papers of the Asia GIS/LIS AMIFM and Spatial Analysis Conference . pp. 361 – 378 . Singapore : GES Asia Pacific .
   Google Scholar
• MAGUIR , D. J. and DANGERMON , J. 1991 . “ The functionality of GES ” . In Geographical Information System , Edited by: Maguir , D. J. , Goodchil , M. F. and Rhin , D. W. 319 – 335 . London : Longman .
   Google Scholar
• PEUQUE , D. J. 1984 . “ A conceptual framework and comparison of spatial models ” . In Cartographic 66 – 113 .
   Google Scholar
• PIWOWA , J. M. , LEDRE , E. F. and DUDYCH , D. J. 1990 . Integration of spatial data in vector and raster formats in a geographic information system environment . International Journal of Geographical Information Systems , 4 : 429 – 444 .
   Google Scholar
• PREPARAT , F. P. and SHAMO , M. 1985 . Computational geometry: an introductio
   Google Scholar
• PRESSMA , R. S. 1993 . Software engineering-a practitioner's approac , New York : McGraw-Hill .
   Google Scholar
• RITTE , G. X. , WILSO , J. and DAVIDSO , J. 1990 . Image algebra: an overview . Computer Vision, Graphics, and Image Processing , 49 : 297 – 331 .
   Google Scholar
• SAHN , S. 1985 . Concepts in discrete mathematics , 2nd , Findlay , MN : Camelot .
   Google Scholar
• STIN , G. 1991 . The algebras of design . Research in Engineering Design , 2 : 71 – 181 .
   Google Scholar
• S , B. , L , Z. , LODWIC , G. and MULLE , J.-C . 1997 . Algebraic models for the aggregation of area features based upon morphological operators . International Journal of Geographical Information Science , 11 : 233 – 246 .
   Web of Science ®Google Scholar
• TAKEYAM , M. and COUCLELI , H. 1997 . Map dynamics: integrating cellular automata and GIS through geo-algebra . International Journal of Geographical Information Science , 11 : 73 – 91 .
   Web of Science ®Google Scholar
• TAN , A. Y. , ADAM , T. M. and USER , E. L. 1996 . A spatial data model design for featurebased geographical information systems . International Journal of Geographical Information Science , 10 : 643 – 659 .
   Web of Science ®Google Scholar
• TOMLI , C. D . 1991 . “ Cartographic modelling ” . In Geographical Information Systems: Principles and Applications , Edited by: Maguir , D. J. , Goodchil , M. F. and Rhin , D. W. 361 – 374 . London : Longman .
   Google Scholar
• ULLMA , J. D . 1982 . Principles of database systems , 2nd , Rockvill : Computer Science Press .
   Google Scholar
• WAGNE , D. F. 1997 . Cellular automata and geographic information systems . Environment and Planning B: Planning and Design , 24 : 219 – 234 .
   Web of Science ®Google Scholar