主动数据库系统理论基础

本书以主动数据库管理系统的体系结构、特征为主线，力求用通俗易懂的语言来较为全面、系统地介绍以下内容：主动规则集的可终止性的静态、动态分析、判定方法；规则执行时的汇流性分析、判定方法；主动数据库中的依赖关系；自依赖规则的判定理论；各种规则执行模式和事务、规则调度方法；主动数据库的完整性等的相关概念、定义、引理、定理、算法及相应的证明。本书力求做到条理清晰、逻辑性强、易于理解。 

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

前言
第1章 主动数据库系统概论
第2章 主动数据库管理系统的体系结构
第3章 主动规则的相关模型和规则说明语言
第4章 规则说明语言
第5章 复合事件监测
第6章 基于图的主动规则集终止性静态分析
第7章 基于事务的规则终止性分析
第8章 带有规则优先级的终止性分析
第9章 基于代数法的规则终止性分析
第10章 基于活化路径的分析方法
第11章 计算不可归约规则集的算法
第12章 监测规则集的优化算法
第13章 小环的结构和监测的执行状态的化简
第14章 主动规则集汇流性分析和可观察的确定性
第15章 主动数据库中的依赖关系
第16章 规则依赖和事务依赖
第17章 规则执行
第18章 基于嵌套事务的规则并行执行模型
第19章 嵌套事务规则的并行控制和死锁检测
第20章 主动数据库的完整性
参考文献

第1章 主动数据库系统概论
在主动数据库的研究中，已经出现了多种不同的系统和模型。但是，什么是主动数据库系统?什么是主动数据库管理系统?在什么情况下，我们可以说一个管理系统是“主动”的。抽象地说，一个主动数据库系统是由主动数据库管理系统与一个具体的数据库构成。主动数据库系统能对数据库的情形自动地进行反应，并能指定系统的反应行为。但这种定义不够精确，而且，对“主动”一词的解释也没有广泛的一致看法。简单地说，主动数据库系统（ADBS）就是将“被动的”数据库系统扩展成具有反应行为（reactive behavior）功能的数据库系统。从功能的角度来讲，一个主动数据库系统是由一个传统的数据库系统和一个事件驱动的知识库以及相应的事件监测模块组成，形式化地描述为
ADBS=DBS+EB+EM
　　其中，DBS是用来存储、维护、管理数据的传统数据库系统；EB是一个由事件驱动的知识库，其中每一项知识表示在相应的事件发生时，如何（何时、何地）来主动地执行用户预先定义的动作；EM是在数据库应用程序运行的过程中，监测数据库的状态变化，一旦EB中定义的事件发生时就主动地触发系统，按EB中指明的相应知识执行其中预先定义的动作，从而实现主动功能。由此可见，主动数据库的知识库（或规则库）是实现主动功能的关键，EB中知识表示不同，也就决定了不同的主动功能的实现。主动数据库的主要设计思想是要用一种统一而方便的机制来实现对应用主动性功能的需求，即使得系统能用统一的方法把各种主动服务功能与数据库系统集成在一起，利于软件的模块化和软件重用，同时也增强了数据库系统的自我支持能力。
　……