查询 - 子查询网

我们提出了查询 - 子查询网 (query-subquery nets)，并利用它们构建了首个用于开发 Horn 知识库查询求值算法的框架，该框架具有以下特性：方法是目标导向的；每个子查询仅处理一次，且每个补充元组（如需）仅传输一次；操作按集合整体进行；可使用任意控制策略。我们的目的是通过消除冗余计算、增加灵活性并减少辅助存储访问次数来提高查询处理效率。该框架形成了一种称为 QSQN 的通用求值方法。为处理函数符号，我们对计算中出现的原子和替换使用了项深度界限，并提议使用迭代加深搜索以逐步增加项深度界限。我们证明了该通用求值方法的可靠性和完备性，并表明当项深度界限固定时，该方法具有 PTIME 数据复杂度。我们还展示了如何将尾递归消除纳入我们的框架，并提出了两种示例控制策略：一种旨在减少辅助存储访问次数，另一种则是深度优先搜索。