數(shù)據(jù)庫原理及SQL Server應用

理論篇 數(shù)據(jù)庫原理
第1章　數(shù)據(jù)庫系統(tǒng)概述
　 1.1　數(shù)據(jù)庫技術(shù)的發(fā)展
　　　1.1.1　相關(guān)術(shù)語
　　　1.1.2　數(shù)據(jù)庫管理技術(shù)的發(fā)展
　 1.2　數(shù)據(jù)庫系統(tǒng)組成
　　　1.2.1　DBS的組成
　　　1.2.2　DBMS
　 1.3　數(shù)據(jù)庫系統(tǒng)體系結(jié)構(gòu)
　　　1.3.1　數(shù)據(jù)庫系統(tǒng)的三級模式
　　　1.3.2　數(shù)據(jù)庫系統(tǒng)的二級映像和數(shù)據(jù)獨立性
　 1.4　數(shù)據(jù)模型
　　　1.4.1　數(shù)據(jù)模型的概念
　　　1.4.2　概念模型和E—R圖
　　　1.4.3　常用的數(shù)據(jù)模型
　 1.5　小結(jié)
　 習題
　第2章　關(guān)系運算及標準SQL
　 2.1　關(guān)系模型及形式化定義
　　　2.1.1　基本概念
　　　2.1.2　關(guān)系的形式化定義　
　　　2.1.3　E—R模型向關(guān)系模型的轉(zhuǎn)換
　　　2.1.4　關(guān)系數(shù)據(jù)庫
　　　2.1.5　關(guān)系的完整性
　 2.2　關(guān)系代數(shù)
　　　2.2.1　傳統(tǒng)的集合運算
　　　2.2.2　專門的關(guān)系運算
　　2.3　元組關(guān)系演算
　　　2.3.1　元組關(guān)系演算
　　　2.3.2　域關(guān)系演算
　 2.4　標準的SQL語言
　　　2.4.1　SQL概述
　　　2.4.2　數(shù)據(jù)定義語言
　　　2.4.3　數(shù)據(jù)操作語言
　　　2.4.4　數(shù)據(jù)控制語言
　　　2.4.5　嵌入式SQL
　2.5　小結(jié)
　習題
　第3章　關(guān)系數(shù)據(jù)庫規(guī)范化理論
　3.1　關(guān)系模式中的異?，F(xiàn)象
　　　3.1.1　存在異?，F(xiàn)象的關(guān)系模式
　　　3.1.2　異?，F(xiàn)象分析
　 3.2　函數(shù)依賴理論
　　　3.2.1　函數(shù)依賴的定義
　　　3.2.2　函數(shù)依賴的分類及定義
　 3.3　范式
　　　3.3.1 1NF
　　　3.3.2 2NF
　　　3.3.3 3NF
　　　3.3.4　BCNF
　　 3.3.5　4NF
　　 3.3.6 5NF
　 3.4　規(guī)范化實例
　　　3.4.1　規(guī)范化步驟
　　　3.4.2　規(guī)范化實例
　 3.5　小結(jié)
　 習題
　第4章　數(shù)據(jù)庫設(shè)計
　4.1　數(shù)據(jù)庫設(shè)計的概述
　　　4.1.1　數(shù)據(jù)庫應用系統(tǒng)的設(shè)計步驟
　　　4.1.2　數(shù)據(jù)庫各級模式的形成過程
　 4.2　需求分析
　　　4.2.1　基本概念
　　　4.2.2　數(shù)據(jù)流圖
　　　4.2.3　數(shù)據(jù)字典
　4.3　概念結(jié)構(gòu)設(shè)計
　　　4.3.1　概念結(jié)構(gòu)設(shè)計方法
　　　4.3.2　用E—R方法建立概念模型步驟
　 4.4　邏輯結(jié)構(gòu)設(shè)計
　……
應用篇　SQL SERVER技術(shù)
　第5章　SQL SERVER概述
　第6章　物理數(shù)據(jù)庫的創(chuàng)建與維護
　第7章　數(shù)據(jù)庫操作
　第8章　TRANSACT-SQL語言
　第9章　存儲過程及觸發(fā)器
　第10章　數(shù)據(jù)庫的維護
附錄A　Transact-SQL提供的函數(shù)
附錄B　SQL Server系統(tǒng)存儲過程