计算机工程2002，Vol.28Issue(3)：96-98,3.
利用视图技术实现非递归规则的表示与推理
Implementation of Denotation and Reasoning of Non-recursion Rule with View
摘要
关键词
Datalog数据模型/规则模块/永久虚关系与临时虚关系/规则依赖图分类
信息技术与安全科学引用本文复制引用
陈晓东,陶世群..利用视图技术实现非递归规则的表示与推理[J].计算机工程,2002,28(3):96-98,3.基金项目
山西省自然科学基金项目(971029) （971029）
