主动数据库系统理论基础

图书标准信息

• 作者 郝忠孝 著
• 出版社 科学出版社
• 出版时间 2009-01
• 版次 1
• ISBN 9787030233646
• 定价 68.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 368页
• 字数 481千字
• 正文语种 简体中文

【内容简介】

《主动数据库系统理论基础》是在作者三十余年来对主动数据库系统理论研究的基础上撰写的。书中系统论述和分析了主动数据库系统理论以及若干新的概念、方法和算法。
《主动数据库系统理论基础》共分二十章。主要内容包括主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测，特别重点讨论了基于触发图、活化图、惰化图、事务、规则优先级、活化路径、代数等方法对主动规则集终止性、汇流性的静态和动态分析，较详细地给出了相关的定理、方法和算法及算法证明，深入地讨论了规则执行和监测、主动数据库完整性等。
《主动数据库系统理论基础》可作为计算机科学与技术学科、控制理论与控制工程学科等相关专业的高年级本科生教材或硕士生选修课教材，也可供从事上述领域研究的博士生、科研人员及工程技术人员等参考。

【目录】

前言
第1章主动数据库系统概论
1.1基础知识
1.1.1主动规则
1.1.2事务
1.1.3事务历史查询
1.1.4事件和事件表达式
1.1.5事件的消耗模式和事件的组合
1.1.6规则库与事件库
1.1.7规则的粒度和耦合模式
1.2几个主动数据库原型系统
1.2.1基于关系数据模型的主动数据库系统
1.2.2基于面向对象数据模型的主动数据库系统
小结

第2章主动数据库管理系统的体系结构
2.1主动数据库管理系统的特性
2.1.1E-C-A规则定义特性
2.1.2E-C-A规则执行特性
2.1.3ADBMS可用性和应用特性
2.2主动数据库管理系统的体系结构
2.2.1辅助工具集成环境
2.2.2执行主动功能的部件
2.2.3数据存储部件
2.3主动数据库管理系统的实现途径
小结

第3章主动规则的相关模型和规则说明语言
3.1主动规则的知识模型
3.1.1事件描述范畴
3.1.2条件描述范畴
3.1.3动作描述范畴
3.2主动规则运行模型
3.3主动规则管理模型
3.3.1规则描述方式和操作
3.3.2主动数据模型
3.4主动规则管理器和事件管理器结构
3.4.1主动规则管理器
3.4.2事件管理器
小结

第4章规则说明语言
4.1规则说明语法
4.1.1词法的约定
4.1.2E-C-A规则语法
4.2规则说明
4.2.1时间说明和操作模式说明
4.2.2规则优先级说明
4.2.3事件说明和条件说明
4.2.4事件参数和系统参数说明
4.2.5逻辑表达式和方法调用说明
4.2.6动作说明
4.3逻辑事件说明
4.3.1逻辑事件的语义和逻辑条件说明
4.3.2逻辑事件在E-C-A规则中的语义和规范说明
4.3.3逻辑事件的上下文和参数中的上下文信息
小结

第5章复合事件监测
5.1事件的复合操作
5.2利用事件图监测复合事件
5.2.1事件图
5.2.2事件图复合事件的监测算法
5.3约束环境下事件监测
5.3.1约束环境
5.3.2顺序环境下复合事件监测算法
5.3.3最近环境下复合事件监测算法
5.4约束环境下事件监测举例
5.4.1Sequence操作符和AND操作符
5.4.2OR操作符和NOT操作符
5.4.3非周期操作符和Plus操作符
5.4.4周期操作符
5.5复杂条件及其评价
小结

第6章基于图的主动规则集终止性静态分析
6.1规则分析主动规则的三个特性
6.1.1主动规则集分析
6.1.2在编译阶段执行的主动规则集可终止性静态分析
6.2有向图环路检测算法
6.3规则执行图
6.4基于触发图和活化图的终止性分析
6.4.1TG的建立方法
6.4.2触发图的终止性分析定理
6.4.3基于活化图的终止性分析
6.5基于触发图和活化图的规则基本归约算法
6.6基于关联图G的终止性分析
小结

第7章基于事务的规则终止性分析
7.1基于进化图EG的规则终止性分析
7.1.1主动规则与程序和事务执行语义
7.1.2抽象状态
7.1.3进化图EG和创建算法
7.1.4进化图EG的规则终止性分析
7.2利用事务进行规则终止性分析
7.2.1创建精确进化图REG算法
7.2.2检验终止性
7.2.3两种分析方法之间的关系
小结

第8章带有规则优先级的终止性分析
8.1数据模型和核心规则
8.1.1主动数据库的语义维度
8.1.2数据模型和核心规则
8.1.3规则的执行语义
8.2主动／演绎的基本转换
8.2.1Datalog及其扩展
8.2.2核心规则到逻辑规则的转换
8.2.3转换图
8.3终止性分析
8.3.1CORE＋向Datalog的转换
8.3.2CORE向Datalog的转换
小结

第9章基于代数法的规则终止性分析
9.1代数传播算法
9.1.1代数运算符
9.1.2代数传播算法
9.2传播算法的传播规则
9.3E-C-A规则和C-A规则的代数语言
9.3.1E-C-A规则的代数语言
9.3.2C-A规则的代数语言
9.4C-A规则的活化关系分析
小结

第10章基于活化路径的分析方法
10.1分析的基础
10.1.1可达概念的分析
10.1.2活化路径和活化路径集
10.2基于活化路径和同步关系的分析方法
10.2.1活化路径同步执行对TG环执行的影响
10.2.2有效活化路径
10.2.3算法描述及分析
10.3相关条件公式的建立
10.3.1TG环的执行序列建立条件公式
10.3.2基于活化路径的条件公式
10.4基于活化路径和条件公式的分析方法
10.4.1禁止活化规则的判定定理
10.4.2终止性判定算法描述及分析
小结

第11章计算不可归约规则集的算法
11.1在运行阶段执行的主动规则集可终止性动态分析
11.2归约算法的分析
……
第12章监测规则集的优化算法
第13章最小环的结构和监测的执行状态的化简
第14章主动规则集汇流性分析和可观察的确定性
第15章主动数据库中的依赖关系
第16章规则依赖和事务依赖
第17章规则执行
第18章基于嵌套事务的规则并行执行模型
第19章嵌套事务规则的并行控制和死锁检测
第20章主动数据库的完整性
参考文献