摘要

二维电子表格是应用最为广泛的计算机应用程序之一,随着大数据和云计算的兴起,对二维电子表格的协同编辑需求也日益增长,而CRDT(无冲突复制数据类型)作为近年来被提出的一致性维护方法,基于它的二维电子表格协同编辑方法在以前的文献中很少被研究。本文提出了一种基于CRDT的同步方法,通过检测操作间的关系,调用相应的冲突消解函数,以实现表格协同文档的一致性维护。本文首先定义了四种操作关系:正交冲突关系、一维冲突关系、互斥关系和相容关系。其次,提出了一种基于CRDT框架下的冲突消解方案来处理这四种操作关系。再次,从理论上分析了本文所提出算法的时间复杂度和空间复杂度。第四,通过理论证明和实例研究,验证了该算法的正确性,同时本文还开发了Web端的在线表格协同编辑系统Co-Table,进一步证实了算法的正确性。