| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第1章 绪论 | 第10-15页 |
| 1.1 课题研究背景和意义 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-13页 |
| 1.2.1 时态数据库研究现状 | 第11-12页 |
| 1.2.2 事务计算模型研究现状 | 第12-13页 |
| 1.3 论文主要研究内容 | 第13-14页 |
| 1.4 论文组织结构 | 第14-15页 |
| 第2章 相关理论和技术 | 第15-24页 |
| 2.1 时态数据库技术 | 第15-17页 |
| 2.2 事务处理技术 | 第17-23页 |
| 2.2.1 页模型 | 第18-20页 |
| 2.2.2 对象模型 | 第20-23页 |
| 2.3 本章小结 | 第23-24页 |
| 第3章 时态SQL语句与非时态SQL语句等价性检验方法 | 第24-39页 |
| 3.1 非时态SQL与非时态关系代数 | 第24-26页 |
| 3.2 时态关系代数 | 第26-30页 |
| 3.3 时态关系代数等价变换规则 | 第30-32页 |
| 3.4 时态SQL与非时态SQL语句的等价性验证方法 | 第32-38页 |
| 3.4.1 SQL语句转换成关系代数 | 第33页 |
| 3.4.2 关系代数转换成语法树 | 第33-34页 |
| 3.4.3 等价变换算法 | 第34-38页 |
| 3.5 本章小结 | 第38-39页 |
| 第4章 基于时态数据的事务计算并发控制 | 第39-46页 |
| 4.1 时态一致性定义及并发控制协议 | 第39-41页 |
| 4.1.1 时态数据一致性定义 | 第39-40页 |
| 4.1.2 时态一致性并发控制协议 | 第40-41页 |
| 4.2 并发控制策略的正确性 | 第41-45页 |
| 4.2.1 时态事务调度的冲突可串行性 | 第42-43页 |
| 4.2.2 事务分割方法 | 第43-44页 |
| 4.2.3 事务分割算法 | 第44-45页 |
| 4.3 本章小结 | 第45-46页 |
| 第5章 审计数据中心事务模型设计及应用 | 第46-56页 |
| 5.1 审计数据中心事务调度器模型设计 | 第46-52页 |
| 5.1.1 审计数据中心事务设计 | 第46-51页 |
| 5.1.2 审计数据中心事务调度器设计 | 第51-52页 |
| 5.2 审计数据中心事务计算并发控制实验与分析 | 第52-55页 |
| 5.3 本章小结 | 第55-56页 |
| 结论 | 第56-57页 |
| 参考文献 | 第57-60页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第60-61页 |
| 致谢 | 第61页 |