BriefGPT.xyz
大模型
Ask
alpha
关键词
seminal evaluation strategy
搜索结果 - 1
使用超树分解增强 Datalog 推理
本文提供了应用超树分解来优化和简化 Datalog 程序的算法,并与标准 Datalog 和增量规则评估方法相结合。经过实验证明,当程序包含复杂规则时,这种方法通常比基线方法快得多。
PDF
a year ago
Prev
Next