图书介绍
主动数据库系统理论PDF|Epub|txt|kindle电子书版本网盘下载
- 郝忠孝著 著
- 出版社： 北京：科学出版社
- ISBN：9787030233646
- 出版时间：2009
- 标注页数：368页
- 文件大小：62MB
- 文件页数：382页
- 主题词：数据库管理系统－理论
PDF下载
下载说明
主动数据库系统理论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
前言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