摘要
对演绎数据库推理过程中出现的推理冗余问题,给出了一种新的解决算法,与其它算法此较,能极大地消除重复推理。
To solve the duplication problem in relational databse deduction,anew method is presented.By its implementation in a deductive database,itis proved efficiently to the problem that this paper studies.
出处
《山东大学学报（自然科学版）》
CSCD
1992年第2期185-189,共5页
Journal of Shandong University(Natural Science Edition)
关键词
演绎数据库
推理冗余
结点状态
deductive database
reasoning duplication
node status
reasoning tree
