-
主动数据库系统理论基础
¥53.7(7.9折)定价:¥68.0本书是在作者三十余年来对主动数据库系统理论研究的基础上撰写的。书中系统论述和分析了主动数据库系统理论以及若干新的概念、方法和算法。 本书共分二十章。主要内容包括:主动数据库管理系统的体系结构、主动规则的相关模型及说明语言、事件监测,特别重点讨论了基于触发图、活化图、惰化图、事务、规则优先级、活化路径、代数等方法对主动规则集终止性、汇流性的静态和动态分析,较详细地给出了相关的定理、方法和算法及算法证明,深入地讨论了规则执行和监测、
-
数据库理论研究方法解析
¥70.6(7.2折)定价:¥98.0《数据库理论研究方法解析》可作为计算机数据库、网络安全、数学和计算机科学领域其它学科理论研究、计算机科学领域其它学科理论如何进行研究的本科、硕士、博士生、高校教师、科研人员等参考...
-
数据库学术理论研究方法解析
¥52.8(6折)定价:¥88.0本书共分8章。主要内容包括:本书是作者在数据库理论研究方法解析一书的后继、深入和补充。是以命题理论为核心,在进一步深入研究的基础上形成了以确定命题、命题解析、方法解析实现命题与证明方法对接为主线的学术研究方法解析...