中文摘要：

空间网络间的空间关系的表示和推理在空间数据库领域具有重要的意义.为了对复杂的空间网络间的空间关系进行定义和区分,首先提出了空间网络间的空间关系的谓词表示和交集模型表示方法,给出了空间网络间的空间关系模型的特征条件式和蕴涵条件式,进一步给出了空间网络间的空间关系的划分定理和推论;系统研究了空间网络间的空间关系的推理方法,针对空间网络间的空间关系推理特点,提出了推理相斥规则和推理蕴涵规则.研究成果为空间网络间的空间关系在空间数据库中的应用奠定了基础,极大地增强了空间数据库处理复杂对象的空间关系的能力.

英文摘要：

Representation and reasoning of the spatial network relations are of great significance in the spatial database.To define and distinguish the complex spatial network relations,the representation of the predication and the intersection model for the spatial network relations are studied systemically.The characteristic-condition-formulas and the implication-condition-formulas are also presented,furthermore,the theorem and the corollary to distinguish the spatial network relations are given.The methods of the reasoning for the spatial network relations are studied systemically.According to the characteristics of the spatial network reasoning,the reasoning excluded rules and the implication rules are presented in detail.The production in this paper lay the foundation for the applications and research of the spatial network relations in the spatial database and improve the ability of the spatial database greatly.