一种用于语义数据模型的描述性查询语言

摘要

一种用于语义数据模型的描述性查询语言，其针对INM类语义数据模型中对象能够自然地表达现实世界中实体之间的复杂关系和上下文语境信息，用包含关系层次结构和组合层次结构的对象结构集中地、与现实世界一一对应的方式来表示现实世界中的实体，且对象与对象之间互连形成图结构的这些特点，提供了一种描述性查询语言，该查询语言包括查询部分和结果构造部分，查询部分和结果构造部分完全分离设置，查询部分包括至少一个查询表达式，结果构造部分包括一个构造项，此外，本发明直接按模型的要素来表示查询，涵盖了数据库和逻辑程序设计中逻辑变量、内置的存在和不存在量词、显式的全称量词等有用特性。本发明达到了简单、实用、表达能力强的要求。