RIA: Formalization, Inference, and Query Processing of Spatial Relations in Geographic Databases

RIA：地理空间中空间关系的形式化、推理和查询处理使用地理数据库的科学家和工程师需要具有强大的空间选择方法和能力的查询语言来以类似于人类专家的方式推断空间信息。地理数据库和包含大量空间数据的地理信息系统(GISS)是访问和操作大规模地理空间中空间数据的合适操作符，远远超出了传统数据库管理系统目前所提供的功能。研究的目的是构建一个连贯的推理系统，该系统集成了关于拓扑、基本方向和近似距离的空间概念，以便它们可以作为地理数据库和查询语言的空间扩展。该推理系统着眼于大范围、地理空间。假设强大而复杂的空间推理可以被形式化为相对简单的空间关系与特定推理规则相互作用的产物。关于拓扑、距离和方向的各个空间关系被形式化并集成到一个综合系统中，通过在单个系统中共存不同的关系来增加更多的力量。主要的结果将是一组原语，以及描述它们组合的规则，用于为GISS设计特定于领域的查询语言。

RIA: Formalization, Inference, and Query Processing of Spatial Relations in Geographic Space Scientists and engineers using geographic databases need query languages with powerful spatial selection methods and capabilities to infer spatial information in a manner similar to a human expert. Crucial for geographic databases and geographic information systems (GISs), containing very large amounts of spatial data, are appropriate operators to access and manipulate spatial data in large-scale, geographic space, far beyond what is currently being offered by traditional database management systems. The objective of the investigations is to construct a coherent reasoning system that integrates spatial concepts about topology, cardinal directions, and approximate distances so that they can serve as a spatial extension to geographic databases and query languages. The reasoning system focuses on large-scale, geographic space. The hypothesis is that powerful and complex spatial reasoning can be formalized as the product of the interaction between relatively simple spatial relations with specific inference rules. Individual spatial relations about topology, distance, and direction are formalized and integrated into a comprehensive system, adding more power through the coexistence of the different relationships in a single system. The major result will be a set of primitives, with rules describing their combinations, for the design of domain specific query languages for GISs.