This paper discusses the denotation and reasoning of non-recursion rule with viewat the same time applies the idea to a . developed deductive database
介绍利用视图技术实现非递归规则的表示和推理并将该思想应用到开发的一个演绎数据库中去。
参考来源 - 利用视图技术实现非递归规则的表示与推理 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐