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

被引：5

作者：

陈晓东

陶世群

机构：

[1] 山西大学计算机科学系,山西大学计算机科学系太原,太原

来源：

计算机工程 | 2002年 / 03期

关键词：

Datalog数据模型; 规则模块; 永久虚关系与临时虚关系; 规则依赖图;

D O I：

暂无

中图分类号：

TP311.13 [];

学科分类号：

摘要：

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

引用

收藏

页码：96 / 98

页数：3

相关论文

共 5 条

[1]

基于SQL Server的演绎数据库系统 [J].

陶世群 ;

原锦辉 .

计算机工程, 2001, (03) :33-34

[2]

规则子系统NHRDB的分析与实现 [J].

佘春东 ;

殷建 .

电讯技术, 1997, (05)

[3]

演绎数据库中的语义查询优化方法 [J].

陶世群 .

小型微型计算机系统, 1996, (05)

[4]

一种新的演绎机制的设计与实现 [J].

怀进鹏 ;

郑广顺 ;

柏晖 ;

赵沁平 .

小型微型计算机系统, 1992, (10) :41-48

[5]

知识库系统导论.[M].徐洁磐等编著;.科学出版社.2000,