Youtopia系统中的协同更新交换
Cooperative Update Exchange in the Youtopia System
摘要：
Youtopia是一个协作管理和集成关系数据的平台。Youtopia的核心是更新交换抽象：对数据的更改通过系统传播，以满足用户指定的映射。我们提出了一种新的变化传播模型，结合了确定性的追逐与人为干预。这个过程基本上是合作的，并让用户对如何修复映射进行重要控制。我们的模型的另一个优点是，可以允许映射周期，而不会影响正确性。我们调查我们的模型中的更新之间潜在的有害干扰，我们引入了两个适当的概念，避免这种干扰，如果强制执行的可串行化。第一个是非常通用的，与经典的最终状态可串行化有关;第二个限制性更强，但非常实用，与冲突可串行化有关。我们提出了一个算法来执行后者的概念。我们的算法是一个乐观的算法，因此有时可能需要中止更新。我们开发的技术，以减少中止的数量，我们测试这些实验。
英文摘要：
Youtopia is a platform for collaborative management and integration of relational data. At the heart of Youtopia is an update exchange abstraction: changes to the data propagate through the system to satisfy user-specified mappings. We present a novel change propagation model that combines a deterministic chase with human intervention. The process is fundamentally cooperative and gives users significant control over how mappings are repaired. An additional advantage of our model is that mapping cycles can be permitted without compromising correctness. We investigate potential harmful interference between updates in our model; we introduce two appropriate notions of serializability that avoid such interference if enforced. The first is very general and related to classical final-state serializability; the second is more restrictive but highly practical and related to conflict-serializability. We present an algorithm to enforce the latter notion. Our algorithm is an optimistic one, and as such may sometimes require updates to be aborted. We develop techniques for reducing the number of aborts and we test these experimentally.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
