电子设计自动化

第一章 数据库系统的基本概念
1.1 引论
1.1.1 数据库方法与文件处理方法
1.1.2 数据库系统用户
1.1.3 数据库方法的优点
1.2 数据模型与模式
1.2.1 数据模型分类
1.2.2 模式与实例
1.3 数据库管理系统的体系结构
1.3.1 三级模式体系结构
1.3.2 数据独立
1.4 数据库语言和接口
1.4.1 DBMS语言
1.4.2 DBMS界面
1.5 数据库系统环境
1.5.1 DBMS的组成模块
1.5.2 数据库系统实用软件
1.5.3 通信功能
1.6 数据库管理系统分类
习题
第二章 关系模型与关系代数
2.1 关系模型的概念
2.1.1 域、元组、属性和关系
2.1.2 关系的性质
2.1.3 关系模型的符号
2.2 关系模型的语义限制
2.2.1 域限制
2.2.2 关键字限制
2.2.3 实体完整性限制
2.2.4 外关键字限制
2.3 关系的操作
2.3.1 插入操作
2.3.2 删除操作
2.3.3 修改操作
2.4 关系代数
2.4.1 选择操作
2.4.2 投影操作
2.4.3 命名操作
2.4.4 集合操作
2.4.5 连接操作
2.4.6 除法操作
2.4.7 其它操作
2.5 关系代数上的查询操作
习题
第三章 关系数据库语言SQL
3.1 SQL语言数据库的三级体系结构
3.2 SQL的数据定义
3.2.1 建表
3.2.2 修改表
3.2.3 删除表
3.2.4 表中的语义限制
3.2.5 完整的例子
3.3 SQL的数据查询
3.3.1 基本查询语句块
3.3.2 基本查询块举例
3.3.3 SELECT语句中的表达式及串操作
3.3.4 嵌套查询
3.3.5 集合操作查询
3.3.6 分组查询
3.3.7 SQL的连接查询
3.3.8 SQL查询中的空值
3.4 SQL中的更新语句
3.4.1 插入语句
3.4.2 删除语句
3.4.3 修改语句
3.5 SQL的视图
3.5.1 视图的定义
3.5.2 视图的查询
3.5.3 视图的更新
3.5.4 视图删除
3.6 SQL的数据存取控制
3.6.1 自定义的存取控制
3.6.2 委托存取控制
3.6.3 数据库管理员的责任
3.7 索引说明
3.8 嵌入的SQL
3.8.1 识别问题
3.8.2 通信区
3.8.3 数据交换
3.8.4 动态SQL
习题
第四章 关系演算和QBE
4.1 元组关系演算
4.1.1 元组变量及其范围
4.1.2 元组演算的形式描述
4.1.3 举例
4.1.4 全称量词
4.1.5 安全表达式
4.1.6 SQL的量词描述
4.2 QUEL语言
4.2.1 QUEL中的数据与存储定义
4.2.2 查询结构
4.2.3 更新
4.2.4 QUEL与SQL的比较
4.3 域关系演算
4.4 QBE语言
4.4.1 查询结构
4.4.2 更新结构
4.5 关系数据库语言的比较
习题
第五章 数据库系统的实现技术
5.1 系统目录
5.2 查询处理与优化
5.3 数据库事务和系统日志
5.3.1 事务概念
5.3.2 系统日志
5.3.3 事务提交点
5.3.4 系统日志中的检查点
5.3.5 事务的并发执行
5.3.6 事务的读和写操作
5.3.7 并发失控的影响
5.3.8 事务状态和操作
5.4 事务执行调度
5.5 并发控制的锁技术
5.5.1 锁的类型
5.5.2 2阶段锁保证可串性
5.5.3 死锁与活锁
5.6 并发控制的T/O技术
5.6.1 时间戳
5.6.2 时间戳算法
5.7 基于延迟更新的恢复技术
5.7.1 恢复概念
5.7.2 恢复处理
5.7.3 回退
5.7.4 基于延迟更新的恢复技术
5.8 基于立即更新的恢复技术
5.8.1 单用户环境下基于立即更新的撤消/重做算法
5.8.2 与并发执行相关的UNDO／REDO立即更新
5.9 数据库的备份和恢复
5.10 数据库的安全
5.10.1 安全的类型
5.10.2 数据库管理员与安全
5.10.3 用户帐号和数据库审计
5.11 基于优先权的自裁定存取控制
5.12 多级保密的强制性存取控制
习题
第六章 数据库设计
6.1 关系数据库设计步骤
6.2 E-R模型
6.2.1 实体、属性和实体型
6.2.2 联系
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 2NF
6.6.2 3NF
6.6.3 BCNF
6.7 多值相关与4NF
6.7.1 多值相关
6.7.2 MVD与FD
6.7.3 4NF
6.8 连接相关与5NF
6.9 其它相关性和规范化
6.9.1 包含相关
6.9.2 Domain-Key NF
习题
第七章 传统数据库方法
7.1 网状数据结构
7.1.1 记录和记录型
7.1.2 系型及其系值
7.1.3 特殊系型
7.1.4 系值的存储结构
7.1.5 1：1和M：N联系的系结构描述
7.2 网状模型的语义限制
7.2.1 插入（选择）限制
7.2.2 离开（选择）限制
7.2.3 系序选择
7.3 网状模型定义
7.4 网状数据库的数据操作
7.4.1 用户工作区UWA
7.4.2 当前指示器
7.4.3 状态指示器
7.4.4 当前指示器和UWA的图示
7.4.5 网状数据操作语言（DML）
7.5 层次数据库结构
7.5.1 层次数据结构
7.5.2 层次结构值树
7.6 虚拟父子联系
7.7 层次模型中的完整性约束
7.8 层次模型的数据定义
7.9 层次模型中的数据操作
7.9.1 HDML命令的UWA和当前值
7.9.2 操作命令举例
习题
第八章 数据库技术进展
8.1 先进的数据模型
8.2 面向对象数据库基本概念
8.3 对象结构和类型
8.3.1 对象结构
8.3.2 类型构造函数
8.4 操作、方法的封装和持久性
8.5 类与类型的层次结构及其继承性
8.5.1 类型层次与继承
8.5.2 类层次
8.6 Client／Server结构
习题
参考文献