基于查询驱动、面向解答和事实驱动推理的传递关系分析效率
数据库
2026-03-03 v2 编程语言
摘要
逻辑规则允许轻松表达复杂关系，尤其是关键应用中的传递关系。然而，对于不同类型的输入数据，理解和预测不同推理方法的效率仍然具有挑战性，即使是最简单的规则。本文首次针对分析传递图关系，分析了所有三种类型著名推理方法——查询驱动、面向解答和事实驱动——及其各自优化方法的效率，并与最优复杂度进行比较。我们还实验测试了被认为性能最好的规则系统。我们分析了所有著名的规则变体和广泛不同的输入图。结果包括精确计算的最优时间复杂度；在不同推理方法、规则变体和图类型之间的比较分析；与性能实验的确认；以及发现的一个性能缺陷。
引用
@article{arxiv.2504.21291,
title = {Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference},
author = {Yanhong A. Liu and John Idogun and Scott D. Stoller and Yi Tong},
journal= {arXiv preprint arXiv:2504.21291},
year = {2026}
}