数据库系统导论 = An introduction to database systems

封面 书名 版权 前言 目录 第一部分 基础知识 第1章 数据库管理概述 1.1 引言 1.2 数据库系统的构成 1.3 数据库的内涵 1.4 使用数据库的优点 1.5 数据独立性 1.6 关系系统及其他数据库系统 1.7 小结 习题 参考文献 第2章 数据库系统体系结构 2.1 引言 2.2 三级体系结构 2.3 外部层 2.4 概念层 2.5 内部层 2.6 映像 2.7 数据库管理员 2.8 数据库管理系统 2.9 数据通信 2.10 客户/服务器体系结构 2.11 实用程序 2.12 分布式处理 2.13 小结 习题 参考文献 第3章 关系数据库简介 3.1 引言 3.2 关系模型概述 3.3 关系和关系变量 3.4 关系的含义 3.5 优化 3.6 数据字典 3.7 基本关系变量和视图 3.8 事务 3.9 供应商和零件数据库 3.10 小结 习题 参考文献 第4章 SQL简介 4.1 引言 4.2 SQL基本操作 4.3 目录 4.4 视图 4.5 事务 4.6 嵌入式SQL 4.7 动态SQL和SQL/CLI 4.8 SQL并不完美 4.9 小结 习题 参考文献 第二部分 关系模型 第5章 类型 5.1 引言 5.2 值与变量 5.3 类型与表示 5.4 类型定义 5.5 操作符 5.6 类型生成子 5.7 SQL支持 5.8 小结 习题 参考文献 第6章 关系 6.1 引言 6.2 元组 6.3 关系类型 6.4 关系的值 6.5 关系变量 6.6 SQL的支持 6.7 小结 习题 参考文献 第7章 关系代数 7.1 引言 7.2 关系封闭性 7.3 基本代数:语法 7.4 基本代数:语义 7.5 举例 7.6 关系代数的作用 7.7 深入讨论 7.8 附加的操作符 7.9 分组与解组 7.10 小结 习题 参考文献 第8章 关系演算 8.1 引言 8.2 元组演算 8.3 举例 8.4 关系演算与关系代数的比较 8.5 计算能力 8.6 SQL语言 8.7 域演算 8.8 QBE 8.9 小结 习题 参考文献 第9章 完整性 9.1 引言 9.2 进一步讨论 9.3 谓词和命题 9.4 关系变量谓词和数据库谓词 9.5 约束检查 9.6 内部谓词与外部谓词 9.7 正确性与一致性 9.8 完整性和视图 9.9 约束分类模式 9.10 码 9.11 触发器 9.12 SQL的支持 9.13 小结 习题 参考文献 第10章 视图 10.1 引言 10.2 视图的用途 10.3 视图检索 10.4 视图更新 10.5 快照 10.6 SQL对视图的支持 10.7 小结 习题 参考文献 第三部分 数据库设计 第11章 函数依赖 11.1 引言 11.2 基本概念 11.3 平凡的函数依赖和非平凡的函数依赖 11.4 依赖集的闭包 11.5 属性集的闭包 11.6 最小函数依赖集 11.7 小结 习题 参考文献 第12章 进一步规范化I:1NF、2NF、3NF和BCNF 12.1 引言 12.2 无损分解和函数依赖 12.3 第一、第二和第三范式 12.4 保持函数依赖 12.5 BOYCE/CODD范式 12.6 具有关系值属性的关系变量 12.7 小结 习题 参考文献 第13章 进一步规范化II:高级范式 13.1 引言 13.2 多值依赖与第四范式 13.3 连接依赖与第五范式 13.4 规范化过程小结 13.5 逆规范化 13.6 正交设计 13.7 其他的规范化形式 13.8 小结 习题 参考文献 第14章 语义建模 14.1 引言 14.2 总体方法 14.3 E/R模型 14.4 E/R图 14.5 基于E/R模型的数据库设计 14.6 简单分析 14.7 小结 习题 参考文献 第四部分 事务管理 第15章 恢复 15.1 引言 15.2 事务 15.3 事务恢复 15.4 系统恢复 15.5 介质恢复 15.6 两阶段提交 15.7 保存点 15.8 SQL对事务的支持 15.9 小结 习题 参考文献 第16章 并发 16.1 引言 16.2 三个并发问题 16.3 锁 16.4 重提三个并发问题 16.5 死锁 16.6 可串行性 16.7 重提恢复 16.8 隔离级别 16.9 意向锁 16.10 ACID的不足之处 16.11 SQL的支持 16.12 小结 习题 参考文献 第五部分 高级专题 第17章 安全性 17.1 引言 17.2 自主存取控制 17.3 强制存取控制 17.4 统计数据库 17.5 数据加密 17.6 SQL的支持 17.7 小结 习题 参考文献 第18章 优化 18.1 引言 18.2 一个启发性的示例 18.3 查询处理概述 18.4 表达式转换 18.5 数据库统计信息 18.6 分而治之的策略 18.7 关系操作的实现算法 18.8 小结 习题 参考文献 第19章 信息空缺 19.1 引言 19.23 VL方法概述 19.3 上述方案所造成的某些结果 19.4 空值和码 19.5 外连接 19.6 特殊值 19.7 SQL的支持 19.8 小结 习题 参考文献 第20章 类型继承 20.1 引言 20.2 类型的层次结构 20.3 多态性和可置换性 20.4 变量与赋值 20.5 约束特化 20.6 比较 20.7 操作、版本和签名 20.8 圆是椭圆吗 20.9 再论约束特化 20.10 SQL的支持 20.11 小结 习题 参考文献 第21章 分布式数据库 21.1 引言 21.2 预备知识 21.3 十二个目标 21.4 分布式系统面对的问题 21.5 客户/服务器系统 21.6 DBMS独立性 21.7 SQL的支持 21.8 小结 习题 参考文献 第22章 决策支持 22.1 引言 22.2 决策支持的特征 22.3 决策支持的数据库设计 22.4 数据准备 22.5 数据仓库和数据集市 22.6 联机分析处理 22.7 数据挖掘 22.8 SQL的支持 22.9 小结 习题 参考文献 第23章 时态数据库 23.1 引言 23.2 问题是什么 23.3 时间区间 23.4 归并和反归并关系 23.5 关系操作符推广 23.6 数据库设计 23.7 完整性约束 23.8 小结 习题 参考文献 第24章 基于逻辑的数据库 24.1 引言 24.2 综述 24.3 命题演算 24.4 谓词演算 24.5 数据库的证明理论观点 24.6 演绎数据库系统 24.7 递归查询过程 24.8 小结 习题 参考文献 第六部分 对象、关系和XML 第25章 对象数据库 25.1 引言 25.2 对象、类、方法和消息 25.3 进一步的分析 25.4 一个详实的示例 25.5 混合性问题 25.6 小结 习题 参考文献 第26章 对象/关系数据库 26.1 引言 26.2 第一个根本性错误 26.3 第二个根本性错误 26.4 实现上的问题 26.5 真正融合的好处 26.6 SQL工具 26.7 小结 习题 参考文献 第27章 互联网与XML 27.1 引言 27.2 万维网和因特网 27.3 XML综述 27.4 XML数据定义 27.5 XML数据操纵 27.6 XML和数据库 27.7 SQL的支持 27.8 小结 习题 参考文献 附录 附录 A TransRelational模型 附录 B SQL表达式 附录 C 缩略语和符号 Ben shu quan mian jie shao le xian zai ying yong guang fan de shu ju ku xi tong, Zhu yao fen wei liu bu fen, Bao kuo ji ben gai nian, Guan xi mo xing, Shu ju ku she ji, Shi wu guan li, Gao ji zhuan ti, Dui xiang, Guan xi he XML