论文部分内容阅读
计算技术和无线通讯技术的发展与结合使得一种全新的计算模式——移动计算已成为当前研究的热点之一。在移动计算环境中,移动事务处理技术是促进移动计算和移动数据库技术真正走入实际应用的关键技术。具有时间限制的实时应用是其中的一类典型应用,如移动实时股票交易、电子商务以及交通信息的实时发布等。因此,移动数据库中实时事务处理的研究已成为移动计算研究中新的研究方向之一。本文首先介绍移动数据库的相关理论,以及移动事务和实时事务的相关内容,然后基于移动性和实时性对移动数据库中实时事务提交带来的挑战,在功能替代子事务和功能替代集概念的基础上,提出一阶段移动实时提交协议1PMRTC,并给出该协议的原子性和结构正确性的证明,以及各个层次的提交状态图。通过对该协议与三阶段实时提交协议3PRTC的对比分析,得出1PMRTC是在无线网络中能较好地满足其截止期和减少阻塞的提交协议。针对移动环境下事务处理的实时应用,本文结合给出的移动实时事务提交协议1PMRTC,提出一种抽象的移动实时事务处理模型——功能替代移动实时事务处理模型。该模型的处理过程分为移动主机的连接模式和断接模式两种情况,能有效地支持移动主机的断接操作,并对该模型下移动实时事务处理的关键技术给出相应的解决策略。