信息网数据库管理系统规则的设计与实现

来源 :计算机应用与软件 | 被引量 : 5次 | 上传用户:z30405060
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了实现信息网数据库管理系统INMDBMS(Information Network Database Management System)的逻辑推理功能,提出了适用于INMDBMS的信息规则语言IRL(Information Rule Language)用于规则的表示。总结Datalog语言中几种传统的递归查询算法,同时结合INMDBMS的数据模型特点,设计并实现了IGQA(INMDB Goal_driven Recursive Query Algorithm)作为IRL规则语言的递归查询算法。IG
其他文献
用浓硝酸和浓硫酸的混合液对自制的石墨烯进行酸化处理,再用硅烷偶联剂KH-570接枝酸化后的石墨烯,用傅立叶变换红外光谱仪和透射电子显微镜分析了石墨烯处理前后的结构变化。将
士官选晋历来是部队的一件大事,这项工作开展如何不仅直接影响着士官队伍的整体素质,也影响着部队战斗力的生成、凝聚力的锻造和全面建设的发展进步。而老兵在面临退伍或转士官