论文部分内容阅读
该文设想了一个建立在关系数据库之上的知识库，并在此基础上讨论了知识库的杳询优化问题。文章首先提出了一种新的计值图结构。这种计值图结构所需结点比通常AND/OR树少。但表示能力更强。接着介绍了一类带约束非递归结点上的一个理想的计值顺序。最后详细讨论了递归规则集在编译前的重写优化问题。试图利用辅助规则把约束自顶向下传递，并利用约束信息来限制自底向上计值的中间结果大小。（本刊录）