Lite2中基于数据同步对象的事务性同步技术.pdf

1000-9825/2002/13(05)0937-09 ©2002 Journal of Software 软 件 学 报 Vol.13, No.5 Lite/2 中基于数据同步对象的事务性同步技术· 1 2 1 , 2 张 孝 , 孟小峰 , 王 珊 1(中国科学院 计算技术研究所,北京 100080); 2 (中国人民大学 信息学院 数据与知识工程研究所,北京 100872) E-mail: zhang_xiao99@263.net; {xfmeng,suang}@ 摘要: 数据同步技术是移动数据库系统中消除移动客户机与数据库服务器之间数据不一致和冲突的主要方法. 给出了“ 小金灵”移动数据库系统 Lite/2 中所采用的基于数据同步对象的事务性数据同步方法, 它能够保持数据 的语义一致性.此外,Lite/2 将同步失败恢复和队列技术相结合来优化事务性同步过程的总通信代价. 实验结果 表明,Lite/2 中的同步方案是高效合理的. 关 键 词: 数据同步对象;同步恢复;事务性数据同步;查询重写 中图法分类号: TP311 文献标识码: A 移动计算环境具有用户移动 频繁断接 网络条件多样 电源有限等特点, 同时,移动计算环境中的嵌入 式移动数据库系统EMDBMS (embedded mobile DBMS)又具有处理失配 事务处理复杂等特点,移动数据库能 因断接而与数据库服务器上的关联数据发生一致性偏差,数据同步是消除偏差 保持数据一致性的主要技术. [1,2] 同步技术的一个主要领域是研究数据发布中数据项的有效性判断 更新传播等 .此外,还要考虑上载中 的两个问题: (1) 保证数据同步过程的事务性和语义一致,即待同步数据集中蕴含的语义关联性需要保证完整. (2) 降低同步的通信代价,尤其是要降低因上载中断引起的总代价增加. 在保险业务应用中,EMDBMS 管理的各表之间存在主/ 外码依赖及其他约束(如图 1 所示).在工作过程中, 业务员可能修改客户信息表 Customer 中的某个客户的 CID. 如果还修改保单信息表中的某个 CTRID, 为保证 EMDB 中数据的一致性,就需要相应修改与该客户及保单对应的保单责任信息和被保险人信息表中的保单信 息(后两个表及图中保单信息表统称为 CustInsu), 因此同步过程中就需要一次完成相关 4 个表的上载.如果同 步过程中断,而CustInsu 未完全上载,则必须将已经处理的部分结果回滚,否则服务器数据库中某些保单信息会 与修改的CTRID 冲突.如果单独上载这些表并在成功时保留在数据库服务器中,则割裂了Customer 和CustInsu 中应该反映到数据库服务器中的数据的内在语义依赖关系. 考虑数据同步的语义后, 中断时的回滚将增加总的同步代价.上例如果立即进行一次数据同步,Customer 的 数据需要再次上载.如果这次同步成功,成功的代价应包含上次失败时的通信代价,则总的通信代价增长了. [3] 对于数据同步问题,两级缓存机制 中的移动客户机 MC(mobile client)和主机上都保持着某些数据主本, 可以各自更新并按一定规则通过同步实现数据一致. 它从理论上描述移动数据库系统中的数据分布和管理方 法.Bayou 的 BXMH[4] 支持移动的电子邮件管理,提供多种处理冲突的方法, 但对数据的同步性要求不太严 · 收稿日期: 2001-02-08; 修改日期: 2001-05-25 基金项目: 国家自然科学基金资助项目; 国家863 高科技发展计划资助项目(863-306-ZD12-12-1) 作者简介: 张孝(1972 ),男,辽宁新民人,博士生,主要研究领域为数据库系统,移动计算;孟小峰(1964 ),男,河北邯郸人,博士, 副教授,主要研究领域为数据库系统,移动数据管理,Web 数据管理;王珊(1944 ), 女,江苏无锡人,教授,博士生导师,主要研究领域为 数据库与知识库系统,移动数据库. 万方数据 938