Datalog在（预）半环上的收敛
摘要：递归查询在传统上是在datalog框架下进行研究的，datalog语言将递归限制在对集合的单调查询上，保证在输入大小的多项式时间内收敛。然而，现代大数据系统需要在布尔空间之外进行递归计算。本文研究了当datalog在任意半环中进行解释时的收敛性。我们考虑了一个有序半环，将datalog程序的语义定义为该半环中的最小不动点，并研究到达该不动点所需的步骤数，如果存在的话。我们确定了半环的代数性质与datalog程序的某些收敛性质相对应。最后，我们描述了一类有序半环，可以在任意datalog程序上使用半朴素评估算法。
作者：Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
论文ID：2105.14435
分类：Databases
分类简称：cs.DB
提交时间：2023-02-03