BarQL：通过变更进行协作

诸如Google Docs、Office 365和Dropbox之类的应用显示出将多用户实时协作功能集成到Web应用中的日益增长的趋势。这些协作应用需要高效地表达共享状态，而实现这一目标的常见策略是共享日志抽象。数据库、编程语言和分布式系统社区对日志抽象的大量研究工作已经识别出基于更新代数性质（即成对交换性、包含性和幂等性）的各种优化技术。尽管这些技术已应用于特定的应用和用例，但据我们所知，尚未有人尝试在非平凡的更新语言背景下为这些优化创建一个通用框架。在本文中，我们引入了变异语言（mutation languages），这是一个用于推理状态更新（或变异）代数性质的底层框架。我们定义了BarQL，一种通用的状态更新语言，并展示了变异语言如何使我们能够推理用BarQL表达的更新的代数性质。