计算机技术和无线通讯技术的发展和结合使得一种全新的计算模式--移动计算横空出世、应运而生。它是无线通信、网络技术与移动计算设备相结合的产物,是一种更加灵活、更加复杂的分布计算环境,具有移动性、频繁断接性、网络条件的多样性、低带宽、有限电源容量、网络通信的不对称性、高伸缩性等特点。正是基于以上各个特点,使得传统的数据库技术不能有效地支持移动计算。因此,必须研究新的数据库技术和策略。同步服务器是移动数据库同步和复制技术中的关键设备,在同步服务器的研究过程中,人们提出了许多冲突的检测和消解策略,然而大多存在大量数据冲突和事物频繁需要回滚处理的问题。需要进一步研究。通过深入了解本体的性质和移动数据库同步复制技术的特点,在分析现有同步服务器上数据冲突检测和消解策略不足之处的基础上,本文针对移动数据库同步服务器中存在大量数据冲突和事物频繁需要回滚处理的问题,在目前通用的三级复制模型的基础上,引入本体论技术,提出了一种同步服务器的设计方法。按该方法设计的同步服务器通过建立本体来分析移动事物操作的语义信息,并按照语义信息之间的关联来检测和解决移动事物间的数据冲突。本文深入分析了在按照这种设计方法构造的同步服务器中,冲突的检测和消解过程:该设计原理下的数据同步过程分为在移动数据库同步服务器中建立本体的过程和利用本体来进行数据冲突的检测和消解的过程两个部分。最后本文给出了一个基于本体论设计的移动数据库同步服务器原型系统。经验证按照这种设计方法构造的同步服务器可有效地解决数据冲突问题,有效地提高了暂态事物的提交成功率和减低了移动数据库的数据传输量。