Win-Move 是无协调的（有时）

在 Hellerstein [15] 最近的一篇论文中，猜想 Datalog${}^\neg$ 程序的层数与其分布式计算所需的“协调阶段”数之间存在紧密关系。事实上，Ameloot 等人 [9] 表明，当且仅当查询是单调的时，它可以由无协调的关系转换器网络计算，从而基于对无协调计算的特定定义，肯定地回答了 Hellerstein 的 CALM 猜想的一个变体。在本文中，我们提出了三种额外的声明式网络模型。在这些变体中，关系转换器对数据分布方式的访问受到限制。这种变化允许转换器网络以无协调的方式计算更多查询：例如，转换器可以检查输入模式上的基原子 $A$ 是否在本地节点的“范围”内，然后将 $A$ 或 $\neg A$ 发送给其他节点。我们展示了一个令人惊讶的结果，即由不可分层 win-move 程序的良基语义所给出的查询在我们考虑的一些模型中是无协调的。我们还表明，原始转换器网络模型 [9] 和我们的变体构成了无协调查询类的严格层次结构。最后，我们识别了 Datalog${}^{\neg\neg}_{\forall}$ 的不同语法片段，称为半单调程序，可用作声明式网络编程语言，其分布式计算保证最终一致且无协调。