名称 主动数据库系统理论基础
索引号 TP311.13/200913
分类号 TP311.13
TP311.13(数据库理论与系统)
TP311.1(程序设计)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 郝忠孝、
出版社 北京 : 科学出版社, 2009
ISBN 978-7-03-023364-6
页数 xi, 368页 : 图 ; 24cm
价格 CNY68.00
标签
简介
注解 有书目 (第367-368页) 本书共分20章,主要内容包括:主要数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测、特别重点讨论了基于触发图、活化图等。
书籍简介

《主动数据库系统理论基础》是在作者三十余年来对主动数据库系统理论研究的基础上撰写的。书中系统论述和分析了主动数据库系统理论以及若干新的概念、方法和算法。《主动数据库系统理论基础》共分二十章。主要内容包括:主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测,特别重点讨论了基于触发图、活化图、惰化图、事务、规则优先级、活化路径、代数等方法对主动规则集终止性、汇流性的静态和动态分析,较详细地给出了相关的定理、方法和算法及算法证明,深入地讨论了规则执行和监测、主动数据库完整性等。