主动数据库系统理论PDF电子书下载

前言 1

第1章 主动数据库系统概论 1

1.1 基础知识 1

1.1.1 主动规则 2

1.1.2 事务 3

1.1.3 事务历史查询 4

1.1.4 事件和事件表达式 5

1.1.5 事件的消耗模式和事件的组合 7

1.1.6 规则库与事件库 8

1.1.7 规则的粒度和耦合模式 9

1.2 几个主动数据库原型系统 11

1.2.1 基于关系数据模型的主动数据库系统 11

1.2.2 基于面向对象数据模型的主动数据库系统 15

小结 17

第2章 主动数据库管理系统的体系结构 19

2.1 主动数据库管理系统的特性 19

2.1.1 E-C-A规则定义特性 19

2.1.2 E-C-A规则执行特性 21

2.1.3 ADBMS可用性和应用特性 22

2.2 主动数据库管理系统的体系结构 23

2.2.1 辅助工具集成环境 24

2.2.2 执行主动功能的部件 25

2.2.3 数据存储部件 26

2.3 主动数据库管理系统的实现途径 27

小结 28

第3章 主动规则的相关模型和规则说明语言 29

3.1 主动规则的知识模型 29

3.1.1 事件描述范畴 30

3.1.2 条件描述范畴 33

3.1.3 动作描述范畴 34

3.2 主动规则运行模型 35

3.3 主动规则管理模型 38

3.3.1 规则描述方式和操作 38

3.3.2 主动数据模型 39

3.4 主动规则管理器和事件管理器结构 40

3.4.1 主动规则管理器 40

3.4.2 事件管理器 41

小结 43

第4章 规则说明语言 44

4.1 规则说明语法 44

4.1.1 词法的约定 44

4.1.2 E-C-A规则语法 45

4.2 规则说明 45

4.2.1 时间说明和操作模式说明 45

4.2.2 规则优先级说明 46

4.2.3 事件说明和条件说明 47

4.2.4 事件参数和系统参数说明 47

4.2.5 逻辑表达式和方法调用说明 48

4.2.6 动作说明 49

4.3 逻辑事件说明 51

4.3.1 逻辑事件的语义和逻辑条件说明 52

4.3.2 逻辑事件在E-C-A规则中的语义和规范说明 53

4.3.3 逻辑事件的上下文和参数中的上下文信息 54

小结 55

第5章 复合事件监测 56

5.1 事件的复合操作 56

5.2 利用事件图监测复合事件 60

5.2.1 事件图 60

5.2.2 事件图复合事件的监测算法 62

5.3 约束环境下事件监测 66

5.3.1 约束环境 66

5.3.2 顺序环境下复合事件监测算法 67

5.3.3 最近环境下复合事件监测算法 71

5.4 约束环境下事件监测举例 75

5.4.1 Sequence操作符和AND操作符 76

5.4.2 OR操作符和NOT操作符 76

5.4.3 非周期操作符和Plus操作符 77

5.4.4 周期操作符 78

5.5 复杂条件及其评价 79

小结 84

第6章 基于图的主动规则集终止性静态分析 85

6.1 规则分析主动规则的三个特性 85

6.1.1 主动规则集分析 86

6.1.2 在编译阶段执行的主动规则集可终止性静态分析. 87

6.2 有向图环路检测算法 89

6.3 规则执行图 91

6.4 基于触发图和活化图的终止性分析 93

6.4.1 TG的建立方法 94

6.4.2 触发图的终止性分析定理 95

6.4.3 基于活化图的终止性分析 98

6.5 基于触发图和活化图的规则基本归约算法 100

6.6 基于关联图G的终止性分析 102

小结 108

第7章 基于事务的规则终止性分析 109

7.1 基于进化图EG的规则终止性分析 111

7.1.1 主动规则与程序和事务执行语义 111

7.1.2 抽象状态 112

7.1.3 进化图EG和创建算法 112

7.1.4 进化图EG的规则终止性分析 118

7.2 利用事务进行规则终止性分析 119

7.2.1 创建精确进化图REG算法 120

7.2.2 检验终止性 122

7.2.3 两种分析方法之间的关系 123

小结 125

第8章 带有规则优先级的终止性分析 127

8.1 数据模型和核心规则 127

8.1.1 主动数据库的语义维度 127

8.1.2 数据模型和核心规则 129

8.1.3 规则的执行语义 133

8.2 主动/演绎的基本转换 135

8.2.1 Datalog及其扩展 135

8.2.2 核心规则到逻辑规则的转换 136

8.2.3 转换图 137

8.3 终止性分析 138

8.3.1 CORE＋向Datalog的转换 138

8.3.2 CORE?*向Datalo??的转换 139

小结 144

第9章 基于代数法的规则终止性分析 145

9.1 代数传播算法 145

9.1.1 代数运算符 145

9.1.2 代数传播算法 146

9.2 传播算法的传播规则 149

9.3 E-C-A规则和C-A规则的代数语言 154

9.3.1 E-C-A规则的代数语言 154

9.3.2 C-A规则的代数语言 156

9.4 C-A规则的活化关系分析 156

小结 160

第10章 基于活化路径的分析方法 161

10.1 分析的基础 161

10.1.1 可达概念的分析 161

10.1.2 活化路径和活化路径集 163

10.2 基于活化路径和同步关系的分析方法 164

10.2.1 活化路径同步执行对TG环执行的影响 164

10.2.2 有效活化路径 170

10.2.3 算法描述及分析 171

10.3 相关条件公式的建立 173

10.3.1 TG环的执行序列建立条件公式 173

10.3.2 基于活化路径的条件公式 178

10.4 基于活化路径和条件公式的分析方法 181

10.4.1 禁止活化规则的判定定理 181

10.4.2 终止性判定算法描述及分析 183

小结 185

第11章 计算不可归约规则集的算法 186

11.1 在运行阶段执行的主动规则集可终止性动态分析 186

11.2 归约算法的分析 187

11.3 只含独立型触发环的主动规则集的归约算法 190

11.4 含有非独立型触发环的主动规则集的归约算法 192

11.4.1 算法的理论基础 192

11.4.2 算法描述及分析 193

小结 197

第12章 监测规则集的优化算法 198

12.1 监测规则集的相关知识 198

12.1.1 不可归约规则集中非终止规则子集的格结构 198

12.1.2 运行阶段规则集不可终止的监测方法 201

12.2 环监测程序 203

12.3 计算监测规则集的现有算法的分析 205

12.4 计算监测规则集的优化算法 207

小结 210

第13章 最小环的结构和监测的执行状态的化简 212

13.1 最小环的结构分析 212

13.2 最小环所监测的执行状态的表示方法 213

13.2.1 已有表示方法的分析 213

13.2.2 一种新的表示方法及其正确性证明 214

小结 219

第14章 主动规则集汇流性分析和可观察的确定性 220

14.1 基于执行图的汇流性分析 220

14.1.1 规则可交换性 220

14.1.2 汇流性分析 221

14.1.3 规则集汇流性判定算法 227

14.2 局部汇流 228

14.2.1 局部汇流 228

14.2.2 局部汇流分析算法 232

14.3 基于代数法的汇流性分析 234

14.3.1 C-A规则的可交换性分析 236

14.3.2 E-C-A规则的可交换性分析 236

14.4 可观察的确定性 237

小结 238

第15章 主动数据库中的依赖关系 239

15.1 主动数据库中的依赖关系定义及分类 239

15.2 属性依赖 240

15.2.1 逻辑型属性依赖 242

15.2.2 计算型属性依赖 243

15.2.3 匹配过程 244

15.2.4 PATH路径及匹配执行算法 245

15.3 路径定义的冲突与终止性 250

15.4 存在型属性依赖 255

15.4.1 表示方法和终止性 255

15.4.2 汇流性 258

小结 263

第16章 规则依赖和事务依赖 264

16.1 规则依赖的分类 264

16.2 自依赖规则的判定算法 265

16.2.1 自依赖规则和规则依赖图的关系 265

16.2.2 规则依赖图中规则结点二叉树的构造过程 267

16.2.3 自依赖规则的判定理论 268

16.2.4 自依赖规则的生成树判定算法 273

16.3 事务依赖 277

16.3.1 依赖事务集 278

16.3.2 嵌套事务的结构依赖 279

16.3.3 在事务闭包中可能存在的事务依赖关系 280

16.3.4 隐含的事务依赖关系 282

小结 283

第17章 规则执行 285

17.1 规则的执行冲突 285

17.1.1 规则冲突的消解 285

17.1.2 规则冲突的种类 288

17.2 冲突图和规则执行全序序列 290

17.3 优先级图和执行图的关系 294

17.4 扩展执行图 299

17.5 规则行为的并行调度算法 301

17.6 调度算法的并行性能讨论 307

17.7 规则库不一致性检测 308

小结 312

第18章 基于嵌套事务的规则并行执行模型 313

18.1 嵌套事务模型 313

18.2 事件历史及其投影 314

18.2.1 实体事件 314

18.2.2 事件历史及投影 315

18.3 事务的可见性 317

18.3.1 事务对数据对象的影响 317

18.3.2 事务的可见性 317

18.4 嵌套事务耦合方式 320

小结 322

第19章 嵌套事务规则的并行控制和死锁检测 324

19.1 一般事务处理 324

19.2 规则事务结构 330

19.3 并行控制算法 332

19.4 死锁检测恢复 336

小结 340

第20章 主动数据库的完整性 341

20.1 完整性约束 341

20.1.1 完整性约束条件 341

20.1.2 完整性控制 343

20.1.3 完整性控制部件的产生的过程 344

20.2 约束表达式与语言 345

20.2.1 约束表达式 345

20.2.2 约束语言 347

20.3 约束集分解 350

20.3.1 约束简化 350

20.3.2 集合简化 354

20.4 冗余约束与非一致约束 357

20.4.1 冗余约束和非一致约束的描述 357

20.4.2 冗余约束和非一致约束的检测算法 358

20.5 约束规则的生成 362

20.5.1 完整性约束规则表示 362

20.5.2 校正处理 364

小结 365

参考文献 367