前言 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