000 03476nam a22005295i 4500
001 978-3-319-46766-5
003 DE-He213
005 20200420221255.0
007 cr nn 008mamaa
008 161004s2016 gw | s |||| 0|eng d
020 _a9783319467665
_9978-3-319-46766-5
024 7 _a10.1007/978-3-319-46766-5
_2doi
050 4 _aQA75.5-76.95
072 7 _aUT
_2bicssc
072 7 _aCOM069000
_2bisacsh
072 7 _aCOM032000
_2bisacsh
082 0 4 _a005.7
_223
100 1 _aMcKenney, Mark.
_eauthor.
245 1 0 _aMap Framework
_h[electronic resource] :
_bA Formal Model of Maps as a Fundamental Data Type in Information Systems /
_cby Mark McKenney, Markus Schneider.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXI, 140 p. 43 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aConcepts of Maps -- A Formal Model of Maps as a Fundamental Type -- PLR Partitions: Extending Maps to Include Point and Line Features -- Foundational Operations for Maps -- Constructing Map Operations using the Fundamental Maps -- Extended Operations Over Maps -- Topological Relationships Between Maps -- A Discrete Model of Maps -- Implementing Maps: Map2D.
520 _aThis book explores the concept of a map as a fundamental data type. It defines maps at three levels. The first is an abstract level, in which mathematic concepts are leveraged to precisely explain maps and operational semantics. The second is at a discrete level, in which graph theory is used to create a data model with the goal of implementation in computer systems. Finally, maps are examined at an implementation level, in which the authors discuss the implementation of a fundamental map data type in database systems. The map data type presented in this book creates new mechanisms for the storage, analysis, and computation of map data objects in any field that represents data in a map form. The authors develop a model that includes a map data type capable of representing thematic and geometric attributes in a single data object. The book provides a complete example of mathematically defining a data type, ensuring closure properties of those operations, and then translating that type into a state that is suited for implementation in a particular context. The book is designed for researchers and professionals working in geography or computer science in a range of fields including navigation, reasoning, robotics, geospatial analysis, data management, and information retrieval.
650 0 _aComputer science.
650 0 _aComputer science
_xMathematics.
650 0 _aComputers.
650 0 _aGeographical information systems.
650 0 _aRegional economics.
650 0 _aSpatial economics.
650 1 4 _aComputer Science.
650 2 4 _aInformation Systems and Communication Service.
650 2 4 _aGeographical Information Systems/Cartography.
650 2 4 _aRegional/Spatial Science.
650 2 4 _aDiscrete Mathematics in Computer Science.
700 1 _aSchneider, Markus.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319467641
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-46766-5
912 _aZDB-2-SCS
942 _cEBK
999 _c52866
_d52866