基于逻辑规则的递归查询之自底向上处理  

作　　者：徐洁磐[1] 范明[2] 

机构地区：[1]南京大学计算机系,210008 [2]郑州大学计算机系,450052

出　　处：《计算机科学》1992年第3期48-52,共5页Computer Science

摘　　要：八十年代中期,数据库技术和人工智能、辑逻程序设计技术的结合导致了一个新的领域——知识库(演绎数据库)的诞生。为了有效地实现知识库,必须有效地处理由逻辑规则表示的查询。这方面的研究看来正在引起逻辑查询处理方法的重大变革。本文简略考察逻辑查询自顶向下和自底向上求值的基本思想,比较其相对优缺点,阐述开发自底向上算法的动机,并着重介绍和评述过去五、六年中开发的以魔集为代表的逻辑查询的自底向上算法。

关 键 词：递归查询 自底向上 演绎数据库 数据库技术 逻辑规则 查询处理 魔集 求值 无限循环 关系代数 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]