第二版 资料库系统原理与套用教程


第二版 资料库系统原理与套用教程

文章插图
资料库系统原理与套用教程(第二版)【第二版 资料库系统原理与套用教程】《资料库系统原理与套用教程(第二版)》是2008年清华大学出版社出版的图书,作者是闪四清等人 。
基本介绍书名:资料库系统原理与套用教程(第二版)
作者:闪四清等
ISBN:9787302081562
定价:35元
出版社:清华大学出版社
装帧:平装
印次:1-4
印刷日期:2008-1-18
图书简介资料库技术是信息系统的一个核心技术 。本书是一本全面介绍资料库技术基本原理、技术实现和套用等知识的教程 。全书包括4部分共16章 。第一部分讨论了资料库的建模方法,第二部分全面介绍了SQL语言及其理论基础,第三部分探讨了资料库技术深层次的实现方法,第四部分详细阐述了资料库技术的发展趋势和套用 。目录第Ⅰ部分设计篇第1章步入资料库系统世界 31.1概述 31.1.1资料库系统套用示例 41.1.2资料库系统的作用 61.1.3常见的资料库系统 81.1.4资料库应用程式的开发过程 111.2资料库技术的演变 121.2.1资料库技术的环境 121.2.2传统的档案管理阶段 131.2.3现代的资料库管理系统阶段 141.3资料库系统架构 161.3.1数据存储架构 161.3.2数据视图管理架构 181.3.3资料库套用架构 191.4资料库管理系统组件 231.4.1数据和元数据 231.4.2输入 241.4.3查询处理器 251.4.4存储管理器 261.4.5事务管理器 261.5资料库技术的发展趋势 271.5.1资料库技术面临的挑战 271.5.2资料库技术的未来 271.6小结 291.7思考和练习 29第2章资料库建模--ER图 312.1ER图的基本概念 312.1.1实体集和实体集中的属性 322.1.2联繫集和联繫集中的属性 352.1.3绘製ER图 372.2ER图设计原则 392.2.1真实性原则 402.2.2避免冗余原则 402.2.3简单性原则 402.2.4恰当性原则:用实体集还是用属性 412.2.5恰当性原则:用实体集还是用联繫集 412.3对约束建模 422.3.1映射约束 422.3.2键码约束 452.3.3参照完整性约束 472.3.4其他类型的约束 482.4弱实体集 482.4.1弱实体集产生的原因 492.4.2对弱实体集的要求 502.4.3弱实体集的表示方法 502.5ER图的高级技术 512.5.1特殊化技术 512.5.2概括技术 522.5.3属性继承技术 532.5.4概括约束设计 532.5.5聚集技术 542.6小结 562.7思考和练习 56第3章资料库建模--IDEF1x图 583.1概述 583.1.1IDEF方法族简介 583.1.2IDEF1x图的概念和特点 603.2IDEF1x图的语法和语义 613.2.1实体 613.2.2连线联繫 623.2.3分类联繫 663.2.4非确定联繫 683.2.5属性 693.2.6主键码和次键码 713.2.7外键码 733.3使用IDEF1x图建立资料库模型的过程 753.3.1準备阶段 753.3.2定义实体阶段 783.3.3定义联系阶段 793.3.4定义键码阶段 813.3.5定义属性阶段 853.3.6档案编制阶段 873.4小结 883.5思考和练习 88第4章资料库建模--ODL方法 904.1面向对象概述 904.1.1面向对象模型和关係模型比较 904.1.2面向对象基本概念 914.2ODL的基本结构 934.2.1ODL概念 934.2.2ODL接口说明 944.2.3ODL中的属性 954.2.4ODL中的联繫 964.2.5反向联繫的概念 974.2.6联繫的多重性 994.2.7ODL中的类型 1014.2.8ODL中方法署名的说明 1044.3子类和约束 1064.3.1ODL中的子类 1064.3.2ODL中的约束 1104.4小结 1154.5思考和练习 115第5章关係模型 1175.1基本概念 1175.2从ER图到关係模型设计的转换 1225.2.1ER图和关係模式的比较 1235.2.2实体集到关係模式的转换 1235.2.3联繫集到关係模式的转换 1245.2.4弱实体集到关係模式的转换 1265.2.5ER图中其他元素的转换 1275.2.6键码的转换 1295.3从IDEF1x图到关係模型设计的转换 1305.4从ODL设计到关係模型设计的转换 1315.4.1ODL设计和关係模式设计的比较 1315.4.2从ODL属性到关係模式的属性 1325.4.3ODL设计中非原子属性的转换 1325.4.4ODL设计中联繫的转换 1365.4.5ODL设计中联繫和反向联繫问题 1375.4.6ODL设计中子类结构的转换 1375.5小结 1395.6思考和练习 139第6章关係模式的规範化设计 1416.1概述 1416.1.1异常问题 1416.1.2泛关係模式和资料库模式 1426.2函式依赖 1436.2.1函式依赖的定义 1436.2.2函式依赖和键码 1446.2.3逻辑蕴含 1456.2.4函式依赖的推理规则 146 6.2.5属性集的闭包 1476.2.6正则覆盖 1496.3关係模式的分解 1506.4关係模式的範式 1516.4.1第一範式 1516.4.2BCNF範式 1526.4.3分解成BCNF模式的算法 1526.4.4函式依赖的投影 1546.4.5第三範式 1556.4.6第二範式 1576.5多值依赖 1576.5.1多值依赖的概念 1586.5.2多值依赖的推理规则 1596.5.3第四範式 1596.6範式之间的关係 1606.7资料库模式的实例 1616.7.1图书管理资料库模式 1616.7.2计算机产品信息管理资料库模式 1636.8小结 1646.9思考和练习 165第Ⅱ部分编程篇第7章关係代数基本理论 1697.1概述 1697.2关係代数的基本运算 1707.2.1集合运算 1707.2.2选择运算 1727.2.3投影运算 1747.2.4笛卡儿积运算 1757.2.5改名运算 1767.3关係代数的附加运算 1777.3.1自然连线运算 1777.3.2θ连线运算 1787.3.3除法运算 1797.3.4赋值运算 1807.4扩充的关係代数运算 1817.4.1广义投影运算 1817.4.2外连线运算 1827.4.3聚集运算 1837.5关係演算 1837.5.1元组关係演算 1847.5.2域关係演算 1847.6关係代数的修改运算 1857.6.1插入运算 1857.6.2删除运算 1867.6.3修改运算 1867.7关係代数表达式的最佳化策略 1877.8小结 1887.9思考和练习 188第8章Datalog语言 1908.1基本概念 1908.1.1基本结构 1908.1.2一般规则 1928.1.3安全规则 1938.1.4外延谓词和内涵谓词 1958.2关係代数向Datalog规则的转换 1968.2.1从集合运算到Datalog规则 1968.2.2从投影运算到Datalog规则 1978.2.3从笛卡儿乘积到Datalog规则 1978.2.4从选择运算到Datalog规则 1988.2.5从连线运算到Datalog规则 2008.2.6从多重运算到Datalog规则 2008.3递归原理 2018.3.1关係代数存在的问题 2018.3.2计算最小固定点 2038.3.3使用Datalog规则表示固定点公式 2048.4包的运算 2058.4.1包的意义 2058.4.2包的关係运算 2068.4.3包的逻辑运算 209 8.5小结 2098.6思考和练习 210第9章SQL语言初步 2129.1概述 2129.2简单查询语句 2139.2.1最简单的查询语句 2149.2.2投影 2159.2.3选择 2179.2.4字元串比较 2209.2.5日期和时间的比较 2219.2.6排序结果 2219.2.7副本 2239.3高级查询语句 2249.3.1连线查询 2249.3.2集合查询 2309.3.3聚集查询 2329.3.4子查询 2349.4资料库更新语句 2369.4.1插入数据 2379.4.2删除数据 2389.4.3修改数据 2389.5数据定义语句 2399.5.1数据类型和域 2409.5.2管理表 2419.5.3默认值 2439.5.4索引定义 2439.5.5管理视图 2449.6递归查询 2469.7动手练习 2479.8小结 2489.9思考和练习 249第10章SQL语言高级功能 25110.1约束 25110.1.1键码约束 25110.1.2外键码约束 25310.1.3非空约束 25410.1.4CHECK约束 25510.1.5断言约束 25610.2触发器 25810.2.1触发器的结构 25810.2.2触发器示例 26010.3游标 26110.3.1定义游标 26110.3.2游标的选项 26210.4嵌入式SQL语言 26310.4.1接口和声明 26310.4.2动态的SQL语句 26410.5安全控制和许可权管理 26510.5.1许可权的类型 26510.5.2授权和收权 26610.6动手练习 26710.7小结 26810.8思考和练习 268第Ⅲ部分实现篇第11章索引和散列技术 27311.1概述 27311.1.1档案组织方式 27311.1.2顺序档案组织 27411.1.3聚集档案组织 27511.2索引技术 27611.2.1基本概念 27611.2.2顺序索引 27611.2.3B+树索引档案 28011.3散列技术 28011.3.1基本概念 28111.3.2散列索引 28111.4MicrosoftSQLServer系统中的索引 28211.4.1索引类型 28211.4.2创建索引的方法 28411.5小结 28511.6思考和练习 285第12章查询处理技术 28612.1概述 28612.2查询处理的代价模型 28812.3单个关係运算的代价估计 28912.3.1选择运算的代价估计 28912.3.2连线运算的代价估计 290 12.3.3集合运算的代价估计 29112.4表达式运算的代价估计 29112.4.1实体化方法 29112.4.2流水线方法 29212.5MicrosoftSQLServer系统的查询处理器 29312.5.1特性概述 29312.5.2互动式操作 29412.5.3执行计画 29512.5.4最佳化索引 29612.5.5最佳化隐藏 29712.6小结 29812.7思考和练习 299第13章事务和并发控制 30013.1事务 30013.1.1事务的基本概念 30013.1.2事务的状态变迁图 30113.1.3事务的并发执行 30213.1.4事务的一致性级别 30413.2并发控制 30513.2.1并发操作带来的问题 30513.2.2锁 30513.2.3死锁 30613.3MicrosoftSQLServer系统的事务和锁 30713.3.1事务的类型 30713.3.2事务的工作原理 30813.3.3锁的粒度 31013.3.4锁的类型 31313.3.5死锁和死锁的解决方案 31513.4小结 31613.5思考和练习 316第Ⅳ部分提高篇第14章分散式资料库技术 31914.1概述 31914.2分散式资料库的概念和特点 32114.2.1分散式资料库的概念 32214.2.2分散式资料库的特点 32214.3分散式数据存储技术 32414.3.1数据複製 32414.3.2数据分片 32614.3.3数据混合存储 32914.4分散式数据查询技术 33014.4.1分散式数据查询示例 33114.4.2基于半连线的最佳化策略 33214.4.3基于连线的最佳化策略 33314.5MicrosoftSQLServer的分散式计算特点 33314.5.1MicrosoftDistributedTransactionCoordinator 33314.5.2连结伺服器 33414.5.3数据複製 33414.6小结 33814.7思考和练习 338第15章数据仓库技术 33915.1概述 33915.2数据挖掘和数据中心库 34115.2.1数据挖掘技术 34215.2.2数据中心库 34415.3数据仓库的支持工具 34515.3.1OLAP服务 34515.3.2数据转换服务 34615.3.3PivotTable服务 34715.4数据仓库的实现步骤 34715.4.1确定用户需求 34815.4.2设计和建立资料库 34815.4.3提取和载入数据 35115.5数据的粒度、分割和元数据 352 15.6小结 35315.7思考和练习 353第16章信息系统的开发过程 35416.1信息系统概述 35416.2开发信息系统的方法论 35616.2.1方法类型 35616.2.2开发策略 35716.3信息系统开发阶段 35816.3.1调查研究阶段 35816.3.2系统分析阶段 36016.3.3系统设计阶段 36216.3.4系统实施阶段 36516.3.5系统评价阶段 36516.4影响信息系统开发成功和失败的因素 36616.5小结 36716.6思考和练习 368参考文献 369