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

DESIGN AND IMPLEMENTATION OF RULES IN INFORMATION NETWORK DATABASE MANAGEMENT SYSTEM

作　　者：胡启超[1] 刘梦赤[1] 胡婕[2] 

机构地区：[1]武汉大学计算机学院,湖北武汉430072 [2]湖北大学计算机与信息工程学院,湖北武汉430062

出　　处：《计算机应用与软件》2016年第1期16-20,84,共6页Computer Applications and Software

基　　金：国家自然科学基金项目(61202100);国家留学基金项目([2013]3018)

摘　　要：为了实现信息网数据库管理系统INMDBMS(Information Network Database Management System)的逻辑推理功能,提出了适用于INMDBMS的信息规则语言IRL(Information Rule Language)用于规则的表示。总结Datalog语言中几种传统的递归查询算法,同时结合INMDBMS的数据模型特点,设计并实现了IGQA(INMDB Goal_driven Recursive Query Algorithm)作为IRL规则语言的递归查询算法。IGQA以深度优先、回退的方式来实现递归查询。在真实数据集上的实验表明,当数据规模增长时,IGQA具有较高的执行成功率和较好的执行时间稳定性。In order to implement the logic reasoning capability of information network database management system （ INMDBMS）, we proposed the information rule language （IRL）, which is applicable to INMDBMS, for representing the rules. We summarised several traditional recursive query algorithms in Datalog language and combined at the same time with the characteristics of data model of INMDBMS, designed and implemented the INMDB goal_driven recursive query algorithm （IGQA） as the recursive query algorithm of IRL. IGQA achieves the recursive query in the way of depth-first and rollback. Experiments on real datasets showed that when the size of data grew, IGQA had a higher success rate and better time stability in execution.

关 键 词：信息网模型 信息网数据库管理系统 信息规则语言 IGQA 

分 类 号：TP393.01[自动化与计算机技术—计算机应用技术]