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

Implementation of Denotation and Reasoning of Non-recursion Rule with View

作　　者：陈晓东[1] 陶世群[1] 

机构地区：[1]山西大学计算机科学系,太原030006

出　　处：《计算机工程》2002年第3期96-98,共3页Computer Engineering

基　　金：山西省自然科学基金项目(971029)

摘　　要：介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。This paper discusses the denotation and reasoning of non-recursion rule with viewat the same time applies the idea to a .developed deductive database

关 键 词：非递归规则 视图 演绎数据库 规则依赖图 逻辑数据语言 

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