|
|||||
|
|
| 信息网数据库管理系统规则的设计与实现 | |
| 作者单位： | ;1.武汉大学计算机学院;2.湖北大学计算机与信息工程学院 |
| 摘 要： | 为了实现信息网数据库管理系统INMDBMS(Information Network Database Management System)的逻辑推理功能,提出了适用于INMDBMS的信息规则语言IRL(Information Rule Language)用于规则的表示。总结Datalog语言中几种传统的递归查询算法,同时结合INMDBMS的数据模型特点,设计并实现了IGQA(INMDB Goal_driven Recursive Query Algorithm)作为IRL规则语言的递归查询算法。IGQA以深度优先、回退的方式来实现递归查询。在真实数据集上的实验表明,当数据规模增长时,IGQA具有较高的执行成功率和较好的执行时间稳定性。 |
| 关 键 词： | 信息网模型 信息网数据库管理系统 信息规则语言 IGQA |
DESIGN AND IMPLEMENTATION OF RULES IN INFORMATION NETWORK DATABASE MANAGEMENT SYSTEM |
|
| Abstract: | |
| Keywords: | |