| 核心化多级安全数据库系统未决提交事务日志写出依赖研究 |
| |
| 引用本文： | 徐震,张敏.核心化多级安全数据库系统未决提交事务日志写出依赖研究[J].计算机学报,2006,29(8):1438-1446. |
| |
| 作者姓名： | 徐震 张敏 |
| |
| 作者单位： | 中国科学院软件研究所信息安全国家重点实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金;国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 核心化体系结构的多级安全数据库系统中不同级别事务由该级别DBMS实例处理，DBMS实例自行维护事务日志缓存．事务处理过程中高级事务可能读取已提交的低级事务数据，如果低级事务提交日志记录尚未写入持久存储，而高级事务已提交并且提交日志记录写入持久存储后系统崩溃，恢复后系统将进入不一致的状态．为解决上述问题引入一个可信的日志协调实体维护全局的未决提交事务间的依赖关系，并协调各个DBMS实例的提交日志记录写出操作，保证被依赖的提交日志记录先于依赖它们的日志记录写入持久存储．文中还给出了方案的实现算法，并证明了算法的正确性，通过分析论证了方案的实用性．
|
| 关 键 词： | 核心化体系结构 多级安全数据库系统 未决提交 依赖图 |
| 收稿时间： | 2006-03-06 |
| 修稿时间： | 2006-03-062006-05-31 |
Research on Dependency of Flushing of Pending Commit Transaction Log in Kernelized Multilevel Secure Database System |
| |
| XU Zhen,ZHANG Min.Research on Dependency of Flushing of Pending Commit Transaction Log in Kernelized Multilevel Secure Database System[J].Chinese Journal of Computers,2006,29(8):1438-1446. |
| |
| Authors: | XU Zhen ZHANG Min |
| |
| Affiliation: | State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences, Beijing 100080 |
| |
| Abstract: | |
| |
| Keywords: | kernelized architecture multi-level secure database system pending commit dependency graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
