BriefGPT.xyz
Ask
alpha
关键词
magic set
搜索结果 - 1
关于析取 Datalog 程序的魔法集
本文介绍了一种新的技术,通过利用查询绑定的传播并扩展魔法集(MS)优化技术来优化(部分)绑定查询,从而对分层否定性的分离 Datalog 程序进行优化,通过对具体应用进行实验,可以得到该方法带来了显著的计算收益。
PDF
12 years ago
Prev
Next