| 本书以主动数据库管理系统的体系结构、特征为主线，力求用通俗易懂的语言来较为全面、系统地介绍以下内容：主动规则集的可终止性的静态、动态分析、判定方法；规则执行时的汇流性分析、判定方法；主动数据库中的依赖关系；自依赖规则的判定理论；各种规则执行模式和事务、规则调度方法；主动数据库的完整性等的相关概念、定义、引理、定理、算法及相应的证明。本书力求做到条理清晰、逻辑性强、易于理解。 |
| 前言 第1章 主动数据库系统概论 第2章 主动数据库管理系统的体系结构 第3章 主动规则的相关模型和规则说明语言 第4章 规则说明语言 第5章 复合事件监测 第6章 基于图的主动规则集终止性静态分析 第7章 基于事务的规则终止性分析 第8章 带有规则优先级的终止性分析 第9章 基于代数法的规则终止性分析 第10章 基于活化路径的分析方法 第11章 计算不可归约规则集的算法 第12章 监测规则集的优化算法 第13章 最小环的结构和监测的执行状态的化简 第14章 主动规则集汇流性分析和可观察的确定性 第15章 主动数据库中的依赖关系 第16章 规则依赖和事务依赖 第17章 规则执行 第18章 基于嵌套事务的规则并行执行模型 第19章 嵌套事务规则的并行控制和死锁检测 第20章 主动数据库的完整性 参考文献 |
内容加载中，请稍后...
商品评论（0条）