摘要： 介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。
关键词:
Datalog数据模型,
规则模块,
永久虚关系与临时虚关系,
规则依赖图
Abstract: This paper discusses the denotation and reasoning of non-recursion rule with viewat the same time applies the idea to a .developed deductive database
中图分类号:
陈晓东,陶世群. 利用视图技术实现非递归规则的表示与推理[J]. , 2002, 28(03): 96-98.
CHEN Xiaodong, TAO Shiqun. Implementation of Denotation and Reasoning of Non-recursion Rule with View[J]. , 2002, 28(03): 96-98.