基本信息

书名:实时数据库系统

定价：70元

作者:刘云生

出版社：科学出版社

出版日期：2016-1-4

ISBN：9787030343512

字数：489250

页码：369

版次：1

装帧：平装

开本：16开

商品重量：kg

编辑推荐

内容提要

实时数据库系统是作者三十多年来从事数据库理论与实现技术研究，尤其是现代（非传统）DBMS开发成果的总结，其特点是内容全面、视野开阔、系统完整、理论结合实践。全书共14章，主要内容有：①实时应用特征、实时数据库的概念与发展；②实时数据库的特征、实时数据模型、系统结构及RTDBMS；③实时事务的概念、模型、特性，事务优先级分派与调度策略、并发控制理论与技术及其正确性；④实时数据库的存储结构与存取方法，实时内存数据库及内外存数据交换技术，实时数据库故障恢复；⑤主动实时数据库系统的原理、组织结构与实现技术；⑥主动实时内存数据库系统实例ARTs-DB的设计与实现。
实时数据库系统适合作为大专院校计算机、软件、自动控制、电子信息、电气工程及相关专业的学生尤其是研究生的教材，亦可供从事工程实现、过程控制、实时处理等领域的科研与工程实践工作的技术人员，以及国防领域的相关技术人员参考。

目录

《信息科学技术学术著作丛书》序
前言
章 绪论
1.1 实时数据库的发展
1.2 实时应用特征与要求
1.3 数据库与实时系统
1.4 传统数据库与实时数据库
第2章 实时系统基础
2.1 实时系统概述
2.2 实时系统模型
2.3 实时数据库系统模型
2.4 实时调度
2.5 通信与同步
2.6 系统负载
第3章 实时数据库特征与技术
3.1 实时数据库的时间
3.2 实时数据特征
3.3 实时事务定时性
3.4 系统运行特征
3.5 实时数据库主要技术
第4章 实时数据模型
4.1 实时数据表示
4.1.1 时间表示
4.1.2 数据与时间的关系
4.1.3 实时数据结构
4.2 实时数据对象
4.2.1 映像对象
4.2.2 导出对象
4.2.3 不变对象
4.3 时间一致性限制
4.4 时间限制
4.5 实时关系代数
4.6 E-R-T模型
第5章 实时数据库管理系统
5.1 概述
5.2 RTDBMS的功能特性
5.3 RTDBMS的系统模型
5.4 RTDBMS的系统结构
5.5 RTDBMS执行模型
5.6 RTDBMS的特殊问题
第6章 实时事务
6.1 实时事务语义
6.2 现代事务模型
6.2.1 现代事务模型的特征
6.2.2 分段事务
6.2.3 链式事务
6.2.4 分裂与合并事务
6.2.5 多层事务
6.2.6 嵌套事务
6.2.7 长寿事务
6.2.8 合作事务
6.3 嵌套实时事务
6.3.1 动机
6.3.2 嵌套实时事务定义
6.3.3 嵌套实时事务处理规则
6.3.4 嵌套实时事务的内部依赖性
6.4 实时事务的特性
6.5 实时事务之间的相关性
6.5.1 数据相关性
6.5.2 结构相关性
6.5.3 行为相关性
6.5.4 时间相关性
6.6 实时事务的执行依赖性
6.6.1 基本依赖
6.6.2 复合依赖
6.6.3 依赖之间的关系
6.6.4 依赖的特性
6.7 实时事务的分类
第7章 实时事务处理
7.1 概述
7.1.1 实时事务处理体系结构
7.1.2 实时事务处理任务
7.1.3 实时事务处理过程
7.2 实时事务的状态变迁
7.2.1 实时事务管理原语
7.2.2 实时事务的状态
7.2.3 状态变迁
7.3 实时事务执行的经历模型
7.3.1 与实时事务相联的事件
7.3.2 经历
7.3.3 事务经历中事件的发生
7.4 实时事务的正确性
7.4.1 概述
7.4.2 结果正确性
7.4.3 行为正确性
7.4.4 结构正确性
7.4.5 时间正确性
7.5 实时事务并发的正确性标准
7.5.1 传统可串行化的局限性
7.5.2 非传统可串行化的正确性标准
7.6 性能指标
第8章 实时事务调度
8.1 概述
8.1.1 实时事务调度概念
8.1.2 实时事务调度参数
8.1.3 实时调度目标
8.1.4 实时调度分类
8.2 实时事务截止期指派
8.3 实时事务优先级分派
8.4 静态表驱动调度
8.5 速率单调调度
8.5.1 典型算法
8.5.2 扩展研究
8.5.3 截止期单调调度
8.6 基于截止期的调度
8.6.1 DEDF调度
8.6.2 AEDF调度
8.6.3 AEUDF调度
8.7 基于紧迫性的调度
8.7.1 LSF调度
8.7.2 LASF调度
8.8 基于价值的调度
8.8.1 CDVD调度
8.8.2 VBED调度
8.8.3 VHAED调度
第9章 实时数据库的并发控制
9.1 引言
9.2 锁式实时并发控制
9.2.1 一般2PL算法评述
9.2.2 优先级2PL算法
9.2.3 优先级继承
9.2.4 有条件的优先级继承
9.2.5 数据优先级
9.3 时标排序
9.3.1 TO基本原理
9.3.2 操作重叠与可恢复性问题
9.3.3 基于优先级的TO
9.4 乐观并发控制
9.4.1 基本OCC
9.4.2 OCC-BC
9.4.3 OCC-PA
9.4.4 OCC-PW
9.4.5 OCC-PW50
9.5 多影子并发控制
9.6 多版本并发控制
9.6.1 MVCC的基本思想
9.6.2 MVCC-TO
9.6.3 2V2PL
9.6.4 MV2PL
9.7 ε-可串行化并发控制
9.8 δ-可串行性并发控制
9.9 Q-一致性可串行化并发控制
0章 实时内存资源管理
10.1 超载控制
10.1.1 超载的后果
10.1.2 超载控制
10.1.3 接纳控制
10.2 实时内存分配
10.2.1 实时内存分配特征
10.2.2 实时内存分配方式
10.2.3 实时内存分配策略
10.3 实时磁盘I/O调度
10.3.1 实时事务I/O操作分析
10.3.2 实时I/O请求的特性
10.3.3 实时磁盘I/O调度算法
10.4 实时数据库缓冲管理
10.4.1 数据缓冲模型
10.4.2 实时缓冲区管理策略设计
10.4.3 P-LRU算法
10.4.4 P-LRU-A算法
10.4.5 P-LRU-I算法
1章 实时内存数据库管理
11.1 内存数据库概述
11.1.1 内存数据库的发展
11.1.2 MMDB与DRDB的比较分析
11.1.3 内存数据库的关键问题
11.2 实时内存数据库定义
11.3 内存数据库组织
11.3.1 存储空间结构
11.3.2 物理数据组织
11.4 MMDB的Hash存取方法
11.4.1 桶散布Hashing
11.4.2 可扩展Hashing
11.4.3 线性扩展Hashing
11.4.4 多目录Hashing
11.4.5 多层目录Hashing
11.5 MMDB的图式存取方法
11.5.1 内存数据库图
11.5.2 MM-DBG的物理实现
11.5.3 MM-DBG的维护
11.5.4 MM-DBG的查询
11.5.5 MM-DBG的性能分析
11.6 SB-树索引存取方法
11.6.1 内存索引结构分析
11.6.2 SB-树结构
11.6.3 SB-树的查找
11.6.4 SB-树的维护
11.6.5 性能分析
11.7 M-DB的数据装入
11.7.1 数据装入的要素与原则
11.7.2 基于相亲度的数据装入
11.7.3 数据装入算法
2章 实时数据库恢复
12.1 实时数据库恢复特征
12.2 实时数据库恢复原理
12.3 实时数据库恢复一般模型
12.4 实时恢复算法
12.4.1 PASLAR算法
12.4.2 SENLAR算法
12.4.3 PENLAR算法
12.4.4 PEANLAR算法
12.5 实时内存数据库恢复
12.5.1 RTMMDB恢复结构模型
12.5.2 提交处理
12.5.3 记日志
12.5.4 RTMMDB检验点操作
12.5.5 M-DB重装
3章 主动实时数据库
13.1 主动实时数据库概述
13.1.1 动机与应用要求
13.1.2 发展历史
13.1.3 主动机制的应用领域
13.1.4 集成主动机制到实时数据库
13.2 主动实时数据库概念
13.2.1 实时主动能力
13.2.2 实时主动机制
13.2.3 执行控制
13.3 ARTDB的体系结构
13.4 实时事件
13.4.1 实时事件概念
13.4.2 事件的类型
13.4.3 事件的操作
13.4.4 事件表达式与复合事件
13.5 实时的事件探测
13.5.1 实时事件探测的特征
13.5.2 事件探测的一般模型
13.5.3 基本事件探测
13.5.4 时间事件探测处理
13.5.5 复合事件探测处理
13.6 实时触发器
13.6.1 实时触发器概念
13.6.2 状态条件及其评价
13.6.3 触发器活动
13.6.4 实时触发器的时间
13.7 实时触发器管理
13.7.1 触发器的管理
13.7.2 触发器执行模型
13.7.3 触发器控制流
4章 主动实时内存数据库
14.1 ARTs-DB的特征
14.2 ARTs-DB的系统结构
14.3 ARTs-DBL语言
14.3.1 ARTs-DBL的数据说明
14.3.2 ARTs-DBL的事务说明
14.4 ARTs-DB的存储数据管理
14.4.1 ARTs-DB的内存组织结构
14.4.2 ARTs-DB的内存管理
14.4.3 ARTs-DB内存数据库管理
14.4.4 ARTs-DB内外存数据交换
14.5 三段式实时事务预处理
14.5.1 编译时静态预分析
14.5.2 初启时动态预分析
14.5.3 运行时动态预处理
14.6 ARTs-DB事务调度
14.6.1 子事务说明
14.6.2 被触发事务的优先级分派
14.6.3 事务调度的EED算法
14.7 ARTs-DB事务的互斥与同步
14.7.1 线程级互斥量
14.7.2 主-从式并发控制机制
14.7.3 实时事务的同步
参考文献

作者介绍

文摘

序言