Conflict Resolution for Data Updates by Multiple Bidirectional Transformations
Conflict Resolution for Data Updates by Multiple Bidirectional Transformations
复制标题
通过多个双向转换解决数据更新的冲突
DOI：
10.1007/978-3-030-93849-9_4
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Hidaka Soichiro
中科院分区：
文献类型：
--
作者：
Habu Mikiya;Hidaka Soichiro
双向转换(BX)是一种健壮的机制，可以在转换过程中传播数据更改，同时保持两个或多个数据源之间的一致性。最近，已经提出了协调多个BX的系统。然而，多个BX更新同一源时的冲突还没有得到很好的研究。本文提出了一种新的基于操作变换(OT)算法的BX冲突消解方法。我们将OT算法应用于Hu等人提出的一种现有BX语言X的树复制原语的向后转换。通过嵌入到能够通过BX维护诸如XML等结构化文档的Inv中，可以通过Inv的满足双向的操作来允许更灵活的操作。利用这种机制，我们提出了一种新的向后转换函数，可以解决两个视图上更新之间的冲突。我们的实现可以同时满足从X继承的往返属性GETPUTGET和PUTGETPUT，以及从OT继承的用于服务器-客户端环境的合流属性TP1。
Bidirectional transformation (BX) is a robust mechanism to propagate changes of data across the transformation while maintaining consistency between two or more data sources. Recently, systems that coordinate multiple BX have been proposed. However, conflicts when multiple BX update the same source have not been well studied yet. In this paper, we propose a new conflict resolution method for BX based on an algorithm of Operational Transformation (OT). We apply the algorithm of OT to the backward transformation of the tree duplication primitiveof an existing BX language X proposed by Hu et al. X had been shown, by embedding into Inv, which is capable of maintaining structured documents such as XML through BX, to allow more flexible operations by Inv’s bidirectionality-satisfying operations. Using this mechanism, we propose a new backward transformation functionthat can resolve conflicts between updates on two views. Our implementation ofcan simultaneously satisfy the properties GETPUTGET and PUTGETPUT, which are the round-tripping properties inherited from X, and TP1, which is a confluence property inherited from OT for server-client environment.