主动实时嵌套事务的正确性

李国徽; 王洪亚; 刘云生

首页> 中文期刊> 《计算机工程与科学》 >主动实时嵌套事务的正确性

主动实时嵌套事务的正确性

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性.在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型.主动实时嵌套事务的正确性比传统的原子事务更复杂.本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础.

著录项

来源
《计算机工程与科学》 |2003年第3期|80-8297|共4页
作者
李国徽; 王洪亚; 刘云生;
展开▼
作者单位

华中科技大学计算机学院;

湖北;

武汉;

430074;

华中科技大学计算机学院;

湖北;

武汉;

430074;

华中科技大学计算机学院;

湖北;

武汉;

430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
主动实时嵌套事务; 事务结构相关性; 事务时间正确性; 事务行为正确性;

相似文献

中文文献
外文文献
专利

1. 主动实时数据库的嵌套事务处理 [J] . 潘鹏 ,卢炎生 . 华中科技大学学报：自然科学版 . 2001,第3期
2. 嵌套事务的正确性及锁协议 [J] . 王洪媛 ,柴胜 ,李大利 . 计算机应用研究 . 2005,第002期
3. 嵌套事务模型下实时数据库故障处理策略 [J] . 肖迎元 ,张德干 ,刘云生 . 计算机集成制造系统 . 2009,第001期
4. 混合的实时嵌套事务并发控制协议 [J] . 周巧扣 ,晏立 . 计算机工程与设计 . 2008,第015期
5. 移动计算环境中实时嵌套事务并发控制协议的研究 [J] . 雷向东 ,赵跃龙 ,陈松桥 . 小型微型计算机系统 . 2007,第001期
6. 主动数据库系统中的嵌套事务模型 [C] . 郭刚 ,方正江 . 第十五届全国数据库学术会议 . 1998
7. 主动实时嵌套事务及其处理 [A] . 李国徽 . 1999

主动实时嵌套事务的正确性

摘要

著录项

相似文献

相关主题

期刊订阅