论文部分内容阅读
为了实现信息网数据库管理系统INMDBMS(Information Network Database Management System)的逻辑推理功能,提出了适用于INMDBMS的信息规则语言IRL(Information Rule Language)用于规则的表示。总结Datalog语言中几种传统的递归查询算法,同时结合INMDBMS的数据模型特点,设计并实现了IGQA(INMDB Goal_driven Recursive Query Algorithm)作为IRL规则语言的递归查询算法。IG