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