主动数据库系统理论基础

　　前言
　　第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.1 E-C-A规则定义特性
　　2.1.2 E-C-A规则执行特性
　　2.1.3 ADBMS可用性和应用特性
　　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.2 E-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.1 Sequence操作符和AND操作符
　　5.4.2 OR操作符和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.1 TG的建立方法
　　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.1 Datalog及其扩展
　　8.2.2 核心规则到逻辑规则的转换
　　8.2.3 转换图
　　8.3 终止性分析
　　8.3.1 CORE＋向Datalog的转换
　　8.3.2 CORE向Datalog的转换
　　小结
　　第9章 基于代数法的规则终止性分析
　　9.1 代数传播算法
　　9.1.1 代数运算符
　　9.1.2 代数传播算法
　　9.2 传播算法的传播规则
　　9.3 E-C-A规则和C-A规则的代数语言
　　9.3.1 E-C-A规则的代数语言
　　9.3.2 C-A规则的代数语言
　　9.4 C-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.1 TG环的执行序列建立条件公式
　　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章 主动数据库的完整性
　　参考文献

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