Lite/2中基于同步对象的事务性同步技术*
张孝
中国科学院计算技术研究所 zhang_xiao99@263.net
孟小峰 王珊
中国人民大学信息学院数据与知识工程研究所 {xfmeng, suang}@public.bta.net.cn
摘要
数据同步技术是移动数据库系统中协调移动客户机与数据库服务器间关联数据不一致、消除数据冲突的主要方法。本文介绍了“小金灵”移动数据库系统Lite/2中所采用的事务性同步的解决方案，提出了基于数据同步对象DSO的事务性同步模型DTSM，其中数据同步对象由语义依赖封闭的应用数据模式来定义，通过事务性同步控制保持了数据间的语义完整性。文章给出了一个完成事务性同步控制的同步状态自动机模型SFSM，以及同步算法和同步失败的恢复过程。DTSM将同步对象与队列技术结合，可以有效地优化事务性同步过程中的通信代价。实验数据分析表明Lite/2中的同步方案是高效合理的。
关键词：数据同步对象，同步恢复，事务性数据同步，应用数据模式，查询重写
Transactional
Synchronization Based on DSO
in
Lite/2
Zhang Xiao
Institute of Computing Technology,
zhang_xiao99@263.net
Meng Xiaofeng Wang
Shan
Institute of Data and Knowledge Engineering,
{xfmeng, suang}@public.bta.net.cn
Abstract
Due to the disconnection or delay, data
synchronization is introduced to conciliate conflicts between mobile clients
and servers in mobile database systems. In this paper, we argue that
synchronization should focus on the transaction and data semantics instead of data
itself. Based on the idea, we present a transactional synchronization technique
in the Lite/2, a prototype synchronization system. Data Synchronization Object
(DSO), a novel concept used in the transactional synchronization, reflects the
semantics in synchronization. In addition, we discuss the synchronization
working model (called DTSM) based on DSO, and define the finite state machine
(called SFSM) in Lite/2. Furthermore, the synchronization algorithm and
recovery procedure for the synchronization failure are depicted. It should be
noted here, that the transactional synchronization based on queue mechanism can
optimize the communication costs. The experiments show that the DTSM has good
performance both in synchronization and communication.
Keywords: Data Synchronization Object, Synchronization recovery，Transactional synchronization，Application data schema，Query rewriting
* 本课题得到国家863计划项目(863-306-ZD12-12-1)及国家自然科学基金项目(60073014)的资助。作者张孝 (1972年生)，博士研究生，主要研究方向为数据库系统、移动计算；孟小峰 (1964年生)，教授、博士，主要研究方向为数据库系统、移动数据管理、Web数据管理。王珊 (1944年生)，教授、博士生导师，主要研究方向为数据库与知识库系统、移动数据库；