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

RIA：地理数据库中空间关系的形式化、推理和查询处理

• 批准号: 9309230
• 负责人: Max Egenhofer
• 金额: $ 10.15万
• 依托单位: University of Maine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-09-01 至 1998-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9309230&HistoricalAwards=false
• 关键词: RIA; Formalization; Inference; Query; Processing

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.

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