第1章 数据库系统世界
1.1 数据库系统的发展
1.1.1 早期的数据库管理系统
1.1.2 关系数据库系统
1.1.3 越来越小的系统
1.1.4 越来越大的系统
1.1.5 信息集成
1.2 数据库管理系统概述
1.2.1 数据定义语言命令
1.2.2 查询处理概述
1.2.3 存储器和缓冲区管理器
1.2.4 事务处理
1.2.5 查询处理器
1.3 本书概述
参考文献
第一部分 关系数据库模型
第2章 关系数据模型
2.1 数据模型概述
2.1.1 什么是数据模型
2.1.2 一些重要的数据模型
2.1.3 关系模型简介
2.1.4 半结构化模型简介
2.1.5 其他数据模型
2.1.6 几种建模方法的比较
2.2 关系模型基础
2.2.1 属性
2.2.2 模式
2.2.3 元组
2.2.4 域
2.2.5 关系的等价描述
2.2.6 关系实例
2.2.7 关系上的键
2.2.8 数据库模式示例
2.2.9 习题
2.3 在SQL中定义关系模式
2.3.1 SQL中的关系
2.3.2 数据类型
2.3.3 简单的表定义
2.3.4 修改关系模式
2.3.5 默认值
2.3.6 键的声明
2.3.7 习题
2.4 代数查询语言
2.4.1 为什么需要一种专门的查询语言
2.4.2 什么是代数
2.4.3 关系代数概述
2.4.4 关系上的集合操作
2.4.5 投影
2.4.6 选择
2.4.7 笛卡尔积
2.4.8 自然连接
2.4.9 θ连接
2.4.10 组合操作构成查询
2.4.11 命名和重命名
2.4.12 操作之间的联系
2.4.13 代数表达式的线性符号
2.4.14 习题
2.5 关系上的约束
2.5.1 作为约束语言的关系代数
2.5.2 引用完整性约束
2.5.3 键约束
2.5.4 其他约束举例
2.5.5 习题
小结 参考文献
第3章 关系数据库设计理论
3.1 函数依赖
3.1.1 函数依赖的定义
3.1.2 关系的键
3.1.3 超键
3.1.4 习题
3.2 函数依赖的规则
3.2.1 函数依赖的推导
3.2.2 分解/结合规则
3.2.3 平凡函数依赖
3.2.4 计算属性的闭包
3.2.5 闭包算法为何有效
3.2.6 传递规则
3.2.7 函数依赖的闭包集合
3.2.8 投影函数依赖
3.2.9 习题
3.3 关系数据库模式设计
3.3.1 异常
3.3.2 分解关系
3.3.3 Boyce-Codd范式
3.3.4 分解为BCNF
3.3.5 习题
3.4 分解的优劣
3.4.1 从分解中恢复信息
3.4.2 无损连接的chase检验
3.4.3 为什么chase检验有效
3.4.4 依赖的保持
3.4.5 习题
3.5 第三范式
3.5.1 第三范式的定义
3.5.2 3NF模式综合算法
3.5.3 为什么3NF综合算法有效
3.5.4 习题
3.6 多值依赖
3.6.1 属性独立及随之产生的冗余
3.6.2 多值依赖的定义
3.6.3 多值依赖的推导
3.6.4 第四范式
3.6.5 分解为第四范式
3.6.6 范式间的联系
3.6.7 习题
3.7 MVD的发现算法
3.7.1 闭包和chase
3.7.2 将chase扩展到MVD
3.7.3 chase为何对MVD有效
3.7.4 投影MVD
3.7.5 习题
小结 参考文献
第4章 高级数据库模型
4.1 E/R模型
4.1.1 实体集
4.1.2 属性
4.1.3 联系
4.1.4 实体-联系图
4.1.5 E/R图实例
4.1.6 二元E/R联系的多样性
4.1.7 多路联系
4.1.8 联系中的角色
4.1.9 联系的属性
4.1.10 多路联系到二元联系的转换
4.1.11 E/R模型中的子类
4.1.12 习题
4.2 设计原则
4.2.1 忠实性
4.2.2 避免冗余
4.2.3 简单性
4.2.4 选择正确的联系
4.2.5 选择正确的元素种类
4.2.6 习题
4.3 E/R模型中的约束
4.3.1 E/R模型中的键
4.3.2 E/R模型中键的表示
4.3.3 引用完整性
4.3.4 度约束
4.3.5 习题
4.4 弱实体集
4.4.1 弱实体集的来源
4.4.2 弱实体集的要求
4.4.3 弱实体集的符号
4.4.4 习题
4.5 从E/R图到关系设计
4.5.1 实体集到关系的转化
4.5.2 E/R联系到关系的转化
4.5.3 关系组合
4.5.4 处理弱实体集
4.5.5 习题
4.6 子类结构到关系的转化
4.6.1 E/R方式转化
4.6.2 面向对象方法
4.6.3 使用空值组合关系
4.6.4 各种方法的比较
4.6.5 习题
4.7 统一建模语言
4.7.1 UML类
4.7.2 UML类的键
4.7.3 关联
4.7.4 自关联
4.7.5 关联类
4.7.6 UML中的子类
4.7.7 聚集与组合
4.7.8 习题
4.8 UML图到关系的转化
4.8.1 UML到关系的基础知识
4.8.2 从UML子类到关系
4.8.3 从聚集与组合到关系
4.8.4 UML与弱实体集的类比
4.8.5 习题
4.9 对象定义语言
4.9.1 类声明
4.9.2 ODL中的属性
4.9.3 ODL中的联系
4.9.4 反向联系
4.9.5 联系的多重性
4.9.6 ODL中的类型
4.9.7 ODL中的子类
4.9.8 在ODL中声明键
4.9.9 习题
4.10 从ODL设计到关系设计
4.10.1 从ODL类到关系
4.10.2 类中的复杂属性
4.10.3 值集合类型属性的表示
4.10.4 其他类型构建器的表示
4.10.5 ODL中联系的表示
4.10.6 习题
小结 参考文献
第二部分 关系数据库程序设计
第5章 代数和逻辑查询语言
5.1 包上的关系操作
5.1.1 为什么采用包
5.1.2 包的并,交,差
5.1.3 包上的投影操作
5.1.4 包上的选择操作
5.1.5 包的笛卡尔积
5.1.6 包的连接
5.1.7 习题
5.2 关系代数的扩展操作符
5.2.1 消除重复
5.2.2 聚集操作符
5.2.3 分组
5.2.4 分组操作符
5.2.5 扩展的投影操作符
5.2.6 排序操作符
5.2.7 外连接
5.2.8 习题
5.3 关系逻辑
5.3.1 谓词和原子
5.3.2 算术原子
5.3.3 Datalog规则和查询
5.3.4 Datalog规则的意义
5.3.5 扩展谓词和内涵谓词
5.3.6 Datalog规则应用于包
5.3.7 习题
5.4 关系代数与Datalog
5.4.1 布尔操作
5.4.2 投影
5.4.3 选择
5.4.4 积
5.4.5 连接
5.4.6 用Datalog模拟多重操作
5.4.7 Datalog与关系代数的比较
5.4.8 习题
小结 参考文献
第6章 数据库语言SQL
6.1 SQL中的简单查询
6.1.1 SQL中的投影
6.1.2 SQL中的选择
6.1.3 字符串比较
6.1.4 SQL中的模式匹配
6.1.5 日期和时间
6.1.6 空值和涉及空值的比较
6.1.7 布尔值UNKONWN
6.1.8 输出排序
6.1.9 习题
6.2 多关系查询
6.2.1 SQL中的积和连接
6.2.2 消除属性歧义
6.2.3 元组变量
6.2.4 多关系查询的解释
6.2.5 查询的并,交,差
6.2.6 习题
6.3 子查询
6.3.1 产生标量值得子查询
6.3.2 关系的条件表达式
6.3.3 元组的条件表达式
6.3.4 关联子查询
6.3.5 FROM子句中的子查询
6.3.6 SQL的连接表达式
6.3.7 自然连接
6.3.8 外连接
6.3.9 习题
6.4 全关系操作
6.4.1 消除重复
6.4.2 并,交,差中的重复
6.4.3 SQL中的分组和聚集
6.4.4 聚集操作符
6.4.5 分组
6.4.6 分组,聚集和空值
6.4.7 HAVING子句
6.4.8 习题
6.5 数据库更新
6.5.1 插入
6.5.2 删除
6.5.3 修改
6.5.4 习题
6.6 SQL中的事务
6.6.1 可串行化
6.6.2 原子性
6.6.3 事务
6.6.4 只读事务
6.6.5 读脏数据
6.6.6 其他隔离层次
6.6.7 习题
小结 参考文献
第7章 约束与触发器
7.1 键和外键
7.1.1 外键约束声明
7.1.2 维护引用完整性
7.1.3 延迟约束检查
7.1.4 习题
7.2 属性和元组上的约束
7.2.1 非空值约束
7.2.2 基于属性的CHECK约束
7.2.3 基于元组的CHECK约束
7.2.4 基于元组和基于属性的约束的比较
7.2.5 习题
7.3 修改约束
7.3.1 给约束命名
7.3.2 修改表上的约束
7.3.3 习题
7.4 断言
7.4.1 创建断言
7.4.2 使用断言
7.4.3 习题
7.5 触发器
7.5.1 SQL中的触发器
7.5.2 触发器设计的选项
7.5.3 习题
小结 参考文献
第8章 视图与索引
8.1 虚拟视图
8.1.1 视图定义
8.1.2 视图查询
8.1.3 属性重命名
8.1.4 习题
8.2 视图更新
8.2.1 视图删除
8.2.2 可更新视图
8.2.3 视图中的替换触发器
8.2.4 习题
8.3 SQL中的索引
8.3.1 建立索引的动机
8.3.2 索引的声明
8.3.3 习题
8.4 索引的选择
8.4.1 简单代价模型
8.4.2 一些有用的索引
8.4.3 计算最佳索引
8.4.4 索引的自动选择
8.4.5 习题
8.5 物化视图
8.5.1 物化视图的维护
8.5.2 物化视图的定期维护
8.5.3 利用物化视图重写查询
8.5.4 物化视图的自动创建
8.5.5 习题
小结 参考文献
第9章 服务器环境下的SQL
9.1 三层体系结构
9.1.1 Web服务器层
9.1.2 应用层
9.1.3 数据库层
9.2 SQL环境
9.2.1 环境
9.2.2 模式
9.2.3 目录
9.2.4 SQL环境中的客户和服务器
9.2.5 连接
9.2.6 会话
9.2.7 模块
9.3 SQL/宿主语言接口
9.3.1 阻抗不匹配问题
9.3.2 SQL与宿主语言连接
9.3.3 DECLARE节
9.3.4 使用共享变量
9.3.5 单元组选择语句
9.3.6 游标
9.3.7 游标更新
9.3.8 避免并发修改
9.3.9 动态SQL
9.3.10 习题
9.4 存储过程
9.4.1 创建PSM函数和过程
9.4.2 PSM中的简单语句格式
9.4.3 分支语句
9.4.4 PSM中的查询
9.4.5 PSM中的循环
9.4.6 for循环
9.4.7 PSM中的异常处理
9.4.8 使用PSM函数和过程
9.4.9 习题
9.5 使用调用层接口
9.5.1 SQL/CLI简介
9.5.2 进程语句
9.5.3 从查询结果中取数据
9.5.4 向查询传递参数
9.5.5 习题
9.6 JDBC
9.6.1 JDBC简介
9.6.2 JDBC中的创建语句
9.6.3 JDBC中的游标操作
9.6.4 参数传递
9.6.5 习题
9.7 PHP
9.7.1 PHP基础
9.7.2 数组
9.7.3 PEAR DB库
9.7.4 使用DB创建数据库连接
9.7.5 执行SQL语句
9.7.6 PHP中的游标操作
9.7.7 PHP中的动态SQL
9.7.8 习题
小结 参考文献
第10章 关系数据库的新课题
10.1 SQL中的安全机制和用户认证
10.1.1 权限
10.1.2 创建权限
10.1.3 检查权限的过程
10.1.4 授权
10.1.5 授权图
10.1.6 收权
10.1.7 习题
10.2 SQL中的递归
10.2.1 在SQL中定义递归关系
10.2.2 有问题的递归SQL表达式
10.2.3 习题
10.3 对象关系模型
10.3.1 从关系到对象关系
10.3.2 嵌套关系
10.3.3 引用
10.3.4 面向对象与对象关系的比较
10.3.5 习题
10.4 SQL中的用户定义类型
10.4.1 在SQL中定义类型
10.4.2 用户定义类型中的方法声明
10.4.3 方法定义
10.4.4 用UDT声明关系
10.4.5 引用
10.4.6 为表生成对象标识符
10.4.7 习题
10.5 对象关系数据上的操作
10.5.1 引用的跟随
10.5.2 访问UDT类型的元组分量
10.5.3 生成器和转换器函数
10.5.4 UDT上联系的排序
10.5.5 习题
10.6 联机分析处理
10.6.1 OLAP和数据仓库
10.6.2 OLAP应用
10.6.3 OLAP数据的多维视图
10.6.4 星型模式
10.6.5 切片和切块
10.6.6 习题
10.7 数据立方体
10.7.1 立方体算子
10.7.2 SQL中的立方体算子
10.7.3 习题
小结 参考文献
第三部分 半结构化数据的建模和程序设计
第11章 半结构化数据建模
11.1 半结构化数据
11.1.1 为何需要半结构化数据模型
11.1.2 半结构化数据表示
11.1.3 信息集成与半结构化数据
11.1.4 习题
11.2 XML
11.2.1 语义标签
11.2.2 有模式和无模式的XML
11.2.3 格式规范的XML
11.2.4 属性
11.2.5 连接元素的属性
11.2.6 命名空间
11.2.7 XML和数据库
11.2.8 习题
11.3 文档定义类型
11.3.1 DTD的格式
11.3.2 使用DTD
11.3.3 属性列表
11.3.4 标识符和引用
11.3.5 习题
11.4 XML模式
11.4.1 XML模式的格式
11.4.2 元素
11.4.3 复杂类型
11.4.4 属性
11.4.5 受限的简单类型
11.4.6 XML模式中的键
11.4.7 XML模式中的外键
11.4.8 习题
小结 参考文献
第12章 XML程序设计语言
12.1 XPath
12.1.1 XPath数据模型
12.1.2 文档节点
12.1.3 路径表达式
12.1.4 相对路径表达式
12.1.5 路径表达式中的属性
12.1.6 轴
12.1.7 表达式的上下文
12.1.8 通配符
12.1.9 路径表达式中的条件
12.1.10 习题
12.2 XQuery
12.2.1 XQuery基础
12.2.2 FLWR表达式
12.2.3 通过变量的值置换变量
12.2.4 XQuery中的连接
12.2.5 XQuery比较操作符
12.2.6 消除重复
12.2.7 XQuery中的量词
12.2.8 聚集
12.2.9 XQuery表达式中的分支
12.2.10 查询结果排序
12.2.11 习题
12.3 扩展样式表语言
12.3.1 XSLT基础
12.3.2 模板
12.3.3 从XML数据中获取值
12.3.4 模板的递归应用
12.3.5 XSLT中的迭代
12.3.6 XSLT中的条件
12.3.7 习题
小结 参考文献