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

Vol. 33 No.l 第 33 卷第 1 期 计算机应用与软件 2016 年 1 月 Computer Applications and Software Jan. 2016 信息网数据库管理系统规则的设计与实现 胡启超1 刘梦赤1 胡捷2 1 (武汉大学计算机学院湖北武汉43∞72) 2( 湖北大学计算机与信息工程学院湖北武汉43创62) 摘要 为了实现信息网数据库管理系统INMDBMS(Information Network Database Management System) 的逻辑推理功能，提出了适 用于 INMDBMS 的信息规则语言 IRL( Information Rule Langua在e) 用于规则的表示。总结 Datalog 语言中几种传统的递归查询算法，同 时结合 INMDBMS 的数据模型特点，设计并实现了 IGQA( INMDB Go止driven Recursive Queη Algori由m) 作为 I且规则语言的递归查 询算法。 IGQA 以深度优先、回退的方式来实现递归查询。在真实数据集上的实验表明，当数据规模增长时，IGQA 具有较高的执行 成功率和较好的执行时间稳定性。 关键词 信息网模型信息网数据库管理系统信息规则语言 IGQA 中图分类号 1回93.01 文献标识码 A DOI: 10. 3969/j. issn. 1000-386x. 2016. 01. ∞5 DESIGN AND IMPLEMENTATION OF RULES IN 剧FORMATION NETWORK DATABASE MANAGE岛ffiNTSYSTEM 1 1 2 Hu Qichao Liu Mengchi Hu Jie 1(胁。lofConψuter ， Wuhan UniversiLy , Wuhan 43，ω72 ,Hubei , China) 2 (hool of Co呻脚 Science and b功rmation Ei略脚ring ,Hubei UniversiLy , wi凶an43侃而~2 ,Hubei ,China) Abstract In order to implement the logic reasoning capability of information network database management system (INMDBMS) , we proposed the infonnation rule language (IRL) , which is applicahle to INMDBMS , for representing the rules. We summarised several traditional recUl百ive queηalgorithms in Datalog language and combined at 也e same time with the characteristics of data model of INMDBMS , desigued and implemented the INMDB goal_driven recursive 甲町algorithm (IGQA) 幽 the recursive 甲町 algorithm of IRL. IGQA achieves 出e recur百ive 甲lery in 由e way of depth-fi