中国博士后科学基金(2003034146)
- 作品数：9 被引量：15H指数：2
- 相关作者：党德鹏周立柱刘云生邢春晓卢彦更多>>
- 相关机构：清华大学北京师范大学华中科技大学更多>>
- 发文基金：中国博士后科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 广播环境中伪可串行化实时并发控制协议被引量：1
- 2006年
- 为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。
- 党德鹏周立柱
- 关键词：移动实时数据库移动实时事务
- 移动广播环境中的可串行化并发控制协议被引量：2
- 2006年
- 研究了非对称通信数据广播环境中的一致性问题.PVTO协议中数据冲突的检测过于严格,存在很多不必要的事务夭折,限制了其并发度;OPreH协议中数据冲突的检测过于宽松,必要的事务重启要等待服务器校验,浪费了大量昂贵的上行通信带宽.提出了一种新的可串行化并发控制协议BCCSR.BCCSR协议将时标段排序和乐观方法相结合,使用了恰当的校验条件,既避免了不必要的事务夭折,又可尽早处理必要的事务重启,节省了系统资源,提高了并发度.实验结果表明,BCCSR协议能有效改进移动事务的平均响应时间,更好地满足数据广播环境中高性能事务处理的要求.
- 党德鹏周立柱
- 关键词：移动数据库移动事务并发控制
- 数据广播中т-可串行化移动实时事务并发控制
- 2007年
- 研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
- 党德鹏
- 关键词：数据广播
- 支持移动更新的弱可串行化实时并发控制被引量：2
- 2006年
- 研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则.形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件.基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC-MUR.通过性能评价实验验证了新协议的有效性:WBCC-MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求.
- 党德鹏周明全周立柱刘云生
- 关键词：移动实时数据库移动实时事务
- 数字图书馆的移动服务被引量：5
- 2005年
- 随着移动计算技术的飞速发展,越来越多的用户将通过无线移动方式访问数字图书馆。但是,目前的数字图书馆系统都假定用户访问信息时是静止的。本文首先给出了移动数字图书馆系统的体系结构,在讨论移动计算环境特点的基础上,阐述了将数字图书馆服务延伸到移动计算环境时面临的关键问题以及研究进展情况,为进一步开展这方面的研究奠定基础。
- 党德鹏周立柱邢春晓
- 关键词：数字图书馆移动计算技术移动计算环境用户访问体系结构环境特点
- 无线移动环境中的拉式实时并发控制机制被引量：1
- 2006年
- 考虑到诸如带宽、移动性、频繁断接等限制,传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则,弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。
- 党德鹏周立柱刘云生
- 关键词：移动实时数据库移动实时事务
- 广播环境中的Q可串行化实时并发控制被引量：2
- 2006年
- 研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。
- 卢彦党德鹏
- 关键词：数据广播
- 并行数据广播中的亚可串行化并发控制被引量：2
- 2008年
- 考虑到移动计算环境的诸多限制以及移动数据库应用的特征,传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要.为此,文中提出一种并行亚可串行化并发控制协议.首先,形式化定义亚可串行化正确性准则,证明亚可串行化虽然比冲突可串行化宽松但能始终保证一致性,给出保证亚可串行化的充分必要条件.进而,提出相应的并行亚可串行化并发控制协议BCC-HSR.实验结果表明,BCC-HSR协议能有效改进移动事务的平均响应时间,更好地满足并行数据广播环境中高性能事务处理的要求.
- 党德鹏
- 关键词：数据库系统移动数据库移动事务并发控制
- 面向用户的移动实时事务并发控制策略
- 2008年
- ε-可串行化、Δ-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。该文针对移动实时环境和应用,形式化定义并分析了ε-可串行化和ψ-可串行化2种新的面向用户的并发控制策略,它们都比冲突可串行化宽松,但都能始终保证移动用户读取数据的一致性。
- 党德鹏刘云生
- 关键词：面向用户移动实时数据库移动实时事务并发控制可串行化
