數(shù)據(jù)庫原理及應(yīng)用（SQL Server 第4版）

第1章數(shù)據(jù)庫系統(tǒng)概述
1.1數(shù)據(jù)與數(shù)據(jù)管理
1.1.1信息與數(shù)據(jù)
1.1.2數(shù)據(jù)管理技術(shù)的發(fā)展
1.2數(shù)據(jù)庫系統(tǒng)組成
1.2.1數(shù)據(jù)庫
1.2.2數(shù)據(jù)庫管理系統(tǒng)
1.2.3數(shù)據(jù)庫應(yīng)用系統(tǒng)
1.3數(shù)據(jù)描述與數(shù)據(jù)模型
1.3.1現(xiàn)實世界的數(shù)據(jù)描述
1.3.2數(shù)據(jù)模型
1.3.3層次模型
1.3.4網(wǎng)狀模型
1.4關(guān)系模型
1.4.1關(guān)系模型的基本概念
1.4.2關(guān)系的鍵與關(guān)系的屬性
1.5數(shù)據(jù)庫的內(nèi)部體系結(jié)構(gòu)
1.5.1數(shù)據(jù)庫內(nèi)部體系結(jié)構(gòu)中的三級模式結(jié)構(gòu)
1.5.2數(shù)據(jù)庫內(nèi)部體系結(jié)構(gòu)中的兩級映像與數(shù)據(jù)獨立性
1.5.3數(shù)據(jù)庫內(nèi)部體系結(jié)構(gòu)的概念
1.6SQL Server 2012關(guān)系數(shù)據(jù)庫管理系統(tǒng)
1.6.1SQL Server 2012的組成
1.6.2SQL Server Management Studio
1.6.3SQL Server 2012的服務(wù)器管理
習題1
第2章關(guān)系運算
2.1關(guān)系的數(shù)學定義
2.1.1笛卡兒積的數(shù)學定義
2.1.2關(guān)系的數(shù)學定義
2.2關(guān)系代數(shù)
2.2.1基于傳統(tǒng)集合理論的關(guān)系運算
2.2.2關(guān)系代數(shù)特有的關(guān)系運算
2.2.3關(guān)系運算綜合示例
2.2.4關(guān)系代數(shù)運算在關(guān)系數(shù)據(jù)庫查詢操作中的應(yīng)用
2.3關(guān)系演算
2.3.1元組關(guān)系演算
2.3.2域關(guān)系演算
2.43種關(guān)系運算表達能力的等價性
習題2
第3章數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計方法
3.1數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計概述
3.1.1數(shù)據(jù)庫應(yīng)用系統(tǒng)的生命周期
3.1.2數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計方法
3.1.3數(shù)據(jù)庫應(yīng)用系統(tǒng)研發(fā)、管理和使用人員視圖級別
3.2用戶需求分析
3.2.1數(shù)據(jù)流圖
3.2.2數(shù)據(jù)字典
3.2.3用戶需求分析過程
3.2.4數(shù)據(jù)庫應(yīng)用系統(tǒng)的功能需求
3.2.5數(shù)據(jù)庫應(yīng)用系統(tǒng)環(huán)境配置與安全性需求
3.3數(shù)據(jù)庫概念結(jié)構(gòu)設(shè)計
3.3.1實體與實體集
3.3.2實體集之間的聯(lián)系及聯(lián)系集
3.3.3ER圖設(shè)計方法
3.3.4實體聯(lián)系模型設(shè)計中的一些特殊情況
3.3.5基于ER圖的概念結(jié)構(gòu)設(shè)計步驟和方法
3.4數(shù)據(jù)庫邏輯結(jié)構(gòu)設(shè)計
3.4.1ER圖表示的概念結(jié)構(gòu)向關(guān)系模型的轉(zhuǎn)換
3.4.2關(guān)系數(shù)據(jù)庫模式的規(guī)范化設(shè)計及優(yōu)化
3.5數(shù)據(jù)庫物理結(jié)構(gòu)設(shè)計
3.5.1SQL Server的數(shù)據(jù)文件和日志文件
3.5.2SQL Server 2012的數(shù)據(jù)庫
3.5.3使用SQL Server Management Studio創(chuàng)建數(shù)據(jù)庫的方法
3.5.4數(shù)據(jù)表及其創(chuàng)建與修改
3.5.5索引技術(shù)
3.5.6數(shù)據(jù)庫物理結(jié)構(gòu)評價
3.6數(shù)據(jù)庫實現(xiàn)技術(shù)簡介
3.7數(shù)據(jù)庫應(yīng)用系統(tǒng)運行與系統(tǒng)維護
3.7.1軟件維護
3.7.2運行與維護時期的主要工作
習題3
第4章關(guān)系數(shù)據(jù)庫語言SQL
4.1SQL的功能與特點
4.1.1SQL的功能
4.1.2SQL的特點
4.2表的基本操作
4.2.1表的創(chuàng)建、修改與撤銷
4.2.2表中數(shù)據(jù)的插入、修改和刪除
4.3SQL的數(shù)據(jù)查詢
4.3.1投影查詢
4.3.2選擇查詢
4.3.3分組查詢
4.3.4結(jié)果的排序查詢
4.3.5模糊查詢(字符串匹配)
4.3.6SQL語言中的常用函數(shù)
4.3.7表的連接查詢
4.3.8嵌套查詢
4.3.9謂詞演算查詢
4.3.10并、交、差運算查詢
4.4SQL的視圖操作
4.4.1視圖的創(chuàng)建
4.4.2在視圖上進行查詢操作
4.4.3用戶視圖對數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計及系統(tǒng)性能的影響
4.5SQL中帶有子查詢的數(shù)據(jù)更新操作
4.5.1帶有子查詢的數(shù)據(jù)插入操作
4.5.2帶有子查詢條件的數(shù)據(jù)更新操作
4.6嵌入式SQL與游標應(yīng)用
4.6.1嵌入式SQL
4.6.2SQL Server 2012的游標及其使用
習題4
第5章關(guān)系數(shù)據(jù)庫模式的規(guī)范化設(shè)計
5.1關(guān)系約束與關(guān)系模式的表示
5.2對關(guān)系模式進行規(guī)范化設(shè)計的必要性
5.3函數(shù)依賴
5.3.1函數(shù)依賴的定義
5.3.2具有函數(shù)依賴約束的關(guān)系模式
5.3.3函數(shù)依賴的邏輯蘊涵
5.4函數(shù)依賴的公理體系
5.4.1阿姆斯特朗公理
5.4.2阿姆斯特朗公理的推論
5.4.3X關(guān)于F的閉包及其計算
5.4.4最小函數(shù)依賴集
5.5關(guān)系模式的分解
5.5.1關(guān)系模式分解的概念
5.5.2保持無損的分解
5.5.3保持依賴的分解
5.6關(guān)系模式的規(guī)范化
5.6.1候選鍵的求解方法
5.6.2第一范式(1NF)
5.6.3第二范式(2NF)
5.6.4第三范式(3NF)
5.6.5鮑依斯柯德范式
5.6.6范式之間的關(guān)系和關(guān)系模式的規(guī)范化
5.6.7向3NF的保持無損和保持依賴分解算法
5.7關(guān)系模式的規(guī)范化方法小結(jié)
習題5
第6章TSQL與存儲過程
6.1TSQL基礎(chǔ)
6.2TSQL的語言要素
6.2.1常量
6.2.2變量
6.2.3表達式與運算符
6.2.4TSQL函數(shù)
6.3TSQL流程控制語句
6.3.1BEGIN…END語句
6.3.2IF…ELSE語句
6.3.3CASE語句
6.3.4WHILE語句
6.3.5WAITFOR語句
6.3.6其他語句
6.4基于TSQL的數(shù)據(jù)庫創(chuàng)建與管理應(yīng)用
6.4.1利用TSQL語句創(chuàng)建數(shù)據(jù)庫
6.4.2利用TSQL語句管理數(shù)據(jù)庫
6.5存儲過程
6.5.1存儲過程基礎(chǔ)
6.5.2創(chuàng)建存儲過程
6.5.3執(zhí)行存儲過程
6.5.4管理存儲過程
習題6
第7章數(shù)據(jù)庫應(yīng)用系統(tǒng)體系結(jié)構(gòu)與訪問技術(shù)
7.1數(shù)據(jù)庫應(yīng)用系統(tǒng)的體系結(jié)構(gòu)
7.1.1集中式計算模式的數(shù)據(jù)庫應(yīng)用系統(tǒng)
7.1.2CS結(jié)構(gòu)的數(shù)據(jù)庫應(yīng)用系統(tǒng)
7.1.3BS結(jié)構(gòu)的數(shù)據(jù)庫應(yīng)用系統(tǒng)
7.2ADO.NET數(shù)據(jù)庫訪問接口
7.2.1ADO.NET的工作機理
7.2.2ADO.NET訪問數(shù)據(jù)庫的方法
7.3VB.NET程序設(shè)計基礎(chǔ)
7.3.1窗體
7.3.2控件
7.3.3屬性
7.3.4事件
7.3.5方法
7.4用VB.NET綁定數(shù)據(jù)
7.4.1VB.NET數(shù)據(jù)綁定概念
7.4.2DataGridView控件綁定數(shù)據(jù)源
7.4.3用代碼方式綁定數(shù)據(jù)源
習題7
第8章數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計與實現(xiàn)
8.1系統(tǒng)功能分析
8.2數(shù)據(jù)庫與數(shù)據(jù)表創(chuàng)建
8.3新建項目
8.4數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計與實現(xiàn)
8.4.1登錄模塊
8.4.2學生信息添加功能模塊
8.4.3學生信息查詢功能模塊
8.4.4成績信息查詢功能模塊
8.4.5成績信息維護功能模塊
8.4.6主界面模塊
8.5系統(tǒng)調(diào)試運行
習題8
第9章數(shù)據(jù)庫保護技術(shù)
9.1事務(wù)機制
9.1.1事務(wù)的概念
9.1.2事務(wù)的特性
9.1.3事務(wù)的類型
9.2數(shù)據(jù)庫的安全性
9.2.1數(shù)據(jù)庫安全的威脅
9.2.2數(shù)據(jù)庫安全控制
9.2.3視圖機制
9.2.4審計
9.2.5SQL Server 2012的安全機制
9.3數(shù)據(jù)庫的完整性
9.3.1域完整性約束
9.3.2實體完整性約束
9.3.3參照完整性約束
9.3.4用戶定義完整性約束
9.3.5SQL Server 2012的完整性約束
9.4數(shù)據(jù)庫恢復
9.4.1數(shù)據(jù)庫的故障分類
9.4.2數(shù)據(jù)庫故障的基本恢復方式
9.4.3恢復策略
9.4.4具有檢查點的恢復技術(shù)
9.4.5數(shù)據(jù)庫鏡像
9.4.6SQL Server數(shù)據(jù)庫的備份和還原
9.5并發(fā)控制
9.5.1數(shù)據(jù)庫并發(fā)操作帶來的數(shù)據(jù)不一致性問題
9.5.2鎖
9.5.3鎖協(xié)議
9.5.4封鎖帶來的問題——活鎖與死鎖
9.5.5并發(fā)調(diào)度的可串行性
9.5.6兩段鎖協(xié)議
9.5.7鎖的粒度
習題9
第10章數(shù)據(jù)庫新技術(shù)
10.1數(shù)據(jù)庫新技術(shù)發(fā)展的動因
10.1.1新應(yīng)用領(lǐng)域?qū)?shù)據(jù)庫存儲、檢索和管理技術(shù)的需求
10.1.2關(guān)系數(shù)據(jù)庫系統(tǒng)的局限性
10.1.3數(shù)據(jù)庫技術(shù)新發(fā)展
10.2嵌入式數(shù)據(jù)庫
10.2.1嵌入式數(shù)據(jù)庫的基本架構(gòu)
10.2.2嵌入式數(shù)據(jù)庫的主要特點
10.2.3嵌入式數(shù)據(jù)庫的應(yīng)用
10.3非關(guān)系型數(shù)據(jù)庫NoSQL
10.3.1Web 2.0動態(tài)網(wǎng)站對數(shù)據(jù)庫性能的需求
10.3.2NoSQL數(shù)據(jù)庫的概念
10.3.3NoSQL數(shù)據(jù)庫的特征
10.3.4NoSQL數(shù)據(jù)庫的分類
10.3.5NoSQL數(shù)據(jù)庫發(fā)展展望
10.4面向特定應(yīng)用領(lǐng)域的數(shù)據(jù)庫新技術(shù)
10.4.1工程數(shù)據(jù)庫
10.4.2統(tǒng)計數(shù)據(jù)庫
10.4.3空間數(shù)據(jù)庫
習題10
附錄A安裝SQL Server 2012
附錄B安裝Visual Studio 2010
附錄C大學教學信息管理數(shù)據(jù)庫應(yīng)用系統(tǒng)案例程序代碼
參考文獻