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

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