利用视图技术实现非递归规则的表示与推理

• 作者: 陈晓东 陶世群
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Datalog数据模型 规则模块 永久虚关系与临时虚关系 规则依赖图
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 96-98
• 页数: 3页
• 分类号: TP392
• 字数: 2839字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.03.038

摘要

介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陶世群	山西大学计算机科学系	58	459	11.0	19.0
2	陈晓东	山西大学计算机科学系	4	15	2.0	3.0