查询随时间的自由终止性质
数据库
2025-02-04 v1 分布式、并行与集群计算
编程语言
摘要
基于先前在分布式数据库和 CALM 定理方面的工作，我们定义并研究了自由终止问题：在缺乏分布式协调的情况下，哪些查询属性允许分布式（数据库）系统中的节点单方面终止执行，即使它们将来可能收到额外的数据或消息？这个完备性问题与 CALM 文献中研究的可靠性问题互为补充。我们还开发了一个基于半自动机的新模型，使我们能够从 CALM 论文的关系转换器模型过渡到在软件工程师中流行的代数模型（例如 CRDT），以及数据库理论对 Datalog 扩展和增量视图维护日益感兴趣的模型。
引用
@article{arxiv.2502.00222,
title = {The Free Termination Property of Queries Over Time},
author = {Conor Power and Paraschos Koutris and Joseph M Hellerstein},
journal= {arXiv preprint arXiv:2502.00222},
year = {2025}
}