主动数据库系统理论基础

前言

第1章主动数据库系统概论

第2章主动数据库管理系统的体系结构

第3章主动规则的相关模型和规则说明语言

第4章规则说明语言

第5章复合事件监测

第6章基于图的主动规则集终止性静态分析

第7章基于事务的规则终止性分析

第8章带有规则优先级的终止性分析

第9章基于代数法的规则终止性分析

第10章基于活化路径的分析方法

第11章计算不可归约规则集的算法

第12章监测规则集的优化算法

第13章最小环的结构和监测的执行状态的化简

第14章主动规则集汇流性分析和可观察的确定性

第15章主动数据库中的依赖关系

第16章规则依赖和事务依赖

第17章规则执行

第18章基于嵌套事务的规则并行执行模型

第19章嵌套事务规则的并行控制和死锁检测

第20章主动数据库的完整性

参考文献

　　本书以主动数据库管理系统的体系结构、特征为主线，力求用通俗易懂的语言来较为全面、系统地介绍以下内容：主动规则集的可终止性的静态、动态分析、判定方法；规则执行时的汇流性分析、判定方法；主动数据库中的依赖关系；自依赖规则的判定理论；各种规则执行模式和事务、规则调度方法；主动数据库的完整性等的相关概念、定义、引理、定理、算法及相应的证明。本书力求做到条理清晰、逻辑性强、易于理解。　　本书是在作者三十余年来对主动数据库系统理论研究的基础上撰写的。书中系统论述和分析了主动数据库系统理论以及若干新的概念、方法和算法。　　本书共分二十章。主要内容包括：主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测，特别重点讨论了基于触发图、活化图、惰化图、事务、规则优先级、活化路径、代数等方法对主动规则集终止性、汇流性的静态和动态分析，较详细地给出了相关的定理、方法和算法及算法证明，深入地讨论了规则执行和监测、主动数据库完整性等。　　本书可作为计算机科学与技术学科、控制理论与控制工程学科等相关专业的高年级本科生教材或硕士生选修课教材，也可供从事上述领域研究的博士生、科研人员及工程技术人员等参考。