实时数据库并发控制技术2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

实时数据库并发控制技术PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论1

1.1 实时数据库系统1

1.2 实时数据库研究概况2

1.2.1 实时数据库模型的研究概况3

1.2.2 事务调度及并发控制的研究概况8

1.2.3 实时事务的预分析处理研究概况11

1.2.4 主动规则的研究概况13

1.3 实时并发控制方法14

1.3.1 基于封锁机制的方法14

1.3.2 基于乐观并发控制方法16

1.3.3 基于嵌套事务模型的并发控制18

1.4 小结19

第2章 并发控制理论21

2.1 隔离性的引入21

2.2 隔离性的依赖模型23

2.2.1 静态分配与动态分配23

2.2.2 事务依赖24

2.2.3 三种有害的依赖25

2.2.4 隔离性的形式化模型26

2.3 隔离性定理26

2.3.1 操作与事务27

2.3.2 规范事务和两阶段事务27

2.3.3 事务的调度28

2.3.4 合法的调度和锁定相容性28

2.3.5 版本、依赖、依赖图28

2.3.6 等价的和隔离度调度29

2.3.7 虫洞事务不具有隔离性30

2.3.8 定理证明31

2.4 隔离性的级别35

2.4.1 隔离性级别定理35

2.4.2 低隔离级别的优缺点36

2.5 幻像和谓词锁37

2.6 粒度锁39

2.6.1 基于树的封锁和意向锁类型39

2.6.2 更新型锁40

2.6.3 码区间封锁40

2.6.4 DAG封锁协议41

2.7 嵌套事务封锁43

2.8 其他方法44

2.8.1 字段调用44

2.8.2 乐观和时间戳封锁46

2.8.3 时间域寻址46

第3章 基于优先权的实时并发控制50

3.1 引言50

3.2 相关工作及其存在的问题51

3.3 定义及冲突分析55

3.3.1 相关定义55

3.3.2 冲突分析56

3.4 基于优先权顶的实时并发控制策略57

3.4.1 封锁条件57

3.4.2 方法描述59

3.4.3 正确性证明59

3.5 性能分析61

3.6 本章小结67

第4章 乐观的实时并发控制68

4.1 引言68

4.2 事务执行情况分析70

4.2.1 相关定义70

4.2.2 事务执行状态71

4.3 多版本机制理论71

4.3.1 多版本并发控制及其正确性71

4.3.2 多版本机制与乐观方法的结合74

4.4 基于验证因子的实时多版本并发控制74

4.4.1 事务正确性的保证74

4.4.2 方法描述77

4.4.3 正确性证明79

4.5 性能分析80

4.6 本章小结83

第5章 扩展嵌套事务模型85

5.1 引言85

5.2 传统的嵌套事务模型86

5.2.1 相关定义86

5.2.2 行为规则88

5.2.3 实例分析89

5.3 主动实时事务特征90

5.3.1 主动规则模型91

5.3.2 耦合模式与嵌套结构91

5.4 扩展的嵌套事务模型94

5.4.1 事务模型的符号表示94

5.4.2 关键子事务95

5.4.3 扩展嵌套事务的处理96

5.5 本章小结98

第6章 基于AEM与ENTM的实时并发控制99

6.1 引言99

6.2 实时数据库系统事务执行模型100

6.2.1 事务类型与截止期分配100

6.2.2 规则-事务图与事务执行步骤图101

6.3 基于执行模型的实时并发控制103

6.3.1 必要性分析103

6.3.2 方法描述104

6.3.3 性能分析107

6.4 基于扩展嵌套事务模型的实时并发控制109

6.4.1 传统方法存在的问题110

6.4.2 混合并发控制方法112

6.5 本章小结115

第7章 存取实时数据的实时并发控制116

7.1 引言116

7.2 系统模型117

7.3 实时数据对事务并发控制的影响118

7.4 相关定义及检查机制119

7.5 基于数据时态特性的实时并发控制RTCC-DD121

7.5.1 RTCC-DD验证调整规则121

7.5.2 RTCC-DD方法描述122

7.5.3 例子123

7.5.4 正确性证明123

7.6 性能分析124

7.7 本章小结126

参考文献127