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

• 作者: 刘云生 李国徽 王洪亚
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 主动实时嵌套事务 事务结构相关性 事务时间正确性 事务行为正确性
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 研究与实现
• 页码范围: 80-82,97
• 页数: 4页
• 分类号: TP311.13
• 字数: 3073字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2003.03.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘云生	华中科技大学计算机学院	179	2028	24.0	33.0
2	李国徽	华中科技大学计算机学院	108	1100	18.0	29.0
3	王洪亚	华中科技大学计算机学院	11	94	5.0	9.0