基于MANET的移动数据库系统事务管理的研究与实现

论文摘要

移动通信技术和数据库技术的快速发展,使得用户可以通过移动主 机随时随地访问移动数据库上的数据。移动数据库成为数据库应用的新 领域,它对并行与分布处理技术的发展也有相当重要的意义。然而由于 移动计算环境具有主机的移动性、断接性、有限的电源供应、低带宽等 特性,使得现有移动数据库的功能较弱,有较大的局限性,还不能支持 一些关键的功能。 目前已有的事务处理模型大多是基于基站式无线网络,不能完全适 用于MANET网络环境。本文针对MANET环境的特点,设计了一种 MANET环境下的移动事务处理模型。该模型以时间戳方式的2阶段提 交并发控制方法为核心,提出了移动事务进行可串行化校验的算法并给 出正确性的证明,实现了移动事务的可串行化调度。本文通过实验分析 了移动事务的撤销率与并发事务数目的关系。本文针对移动主机经常发 生断接的特点,提出了基于代理方式的移动主机的断接处理技术,以减 少由于移动主机断接而带来的移动事务丢弃。实验证明,本文提出的代 理机制可以减少因移动主机的断接而导致的事务撤销。本文提出了 MANET环境下的基于组方式的多跳数据复制方法,将移动数据库中的 部分数据以多跳的方式复制到组内的移动主机,减少了移动主机查询时 数据传输的距离,进而减少网络通信开销,提高事务执行的响应速度。

论文目录

• 中文摘要
• Abstract
• 第1章 引言
• 1.1 研究背景
• 1.1.1 移动计算环境
• 1.1.2 移动事务处理的特点
• 1.2 国内外的研究现状
• 1.3 本文的贡献
• 1.4 论文结构
• 第2章 移动事务处理体系结构
• 2.1 基于MANET的移动计算环境
• 2.2 基于MANET的移动事务处理框架
• 2.2.1 MH功能简介
• 2.2.2 MDBH功能简介
• 2.3 本章小结
• 第3章 移动事务处理技术
• 3.1 移动事务模型
• 3.1.1 移动事务的2阶段提交方法
• 3.1.2 移动事务的冲突可串行性
• 3.2 移动事务的校验
• 3.2.1 移动事务的校验算法
• 3.2.2 移动事务校验正确性证明
• 3.2.3 校验算法的设计与实现
• 3.3 MH的移动事务处理与提交
• 3.3.1 MH的移动事务处理
• 3.3.2 MH上传移动事务过程
• 3.3.3 MH接收MDBH广播IR报告过程
• 3.4 MDBH的移动事务的处理
• 3.4.1 移动事务的验证处理过程
• 3.4.2 MDBH的发送IR广播过程
• 3.5 本章小结
• 第4章 移动主机的断接处理技术
• 4.1 MH的断接问题
• 4.2 MH的断接模型
• 4.2.1 MH的断开
• 4.2.2 MH的重新连接
• MH）的处理'>4.2.3 代理移动主机（Proxy_MH）的处理
• 4.3 本章小结
• 第5章 移动主机的数据复制技术
• 5.1 移动环境下数据复制的问题
• 5.2 MANET环境下的数据复制策略
• 5.2.1 分布数据的副本过程
• 5.2.2 请求数据副本的过程
• 5.2.3 响应数据副本的请求与副本动态重分布
• 5.2.4 数据副本一致性的问题
• 5.3 本章小结
• 第6章 实验结果与分析
• 6.1 移动事务实验模拟环境
• 6.2 实验结果与分析
• 结论
• 致谢
• 参考文献
• 独创性声明
• 学位论文版权使用授权书