數(shù)據(jù)庫(kù)系統(tǒng)教程

第1部分 基礎(chǔ)篇
　第l章　數(shù)據(jù)庫(kù)系統(tǒng)導(dǎo)論
1.1　數(shù)據(jù)庫(kù)系統(tǒng)
　1.1.1　數(shù)據(jù)庫(kù)系統(tǒng)的產(chǎn)生
　 1.1.2　數(shù)據(jù)庫(kù)系統(tǒng)的定義
　 1.1.3　數(shù)據(jù)庫(kù)與信息系統(tǒng)
1.2　客觀世界的數(shù)據(jù)描述
　 1.2.1　信息的三個(gè)領(lǐng)域
　 1.2.2　如何實(shí)現(xiàn)對(duì)客觀世界的數(shù)據(jù)描述
　 1.2.3　實(shí)體集之間的聯(lián)系
　 1.2.4　對(duì)客觀世界的數(shù)據(jù)描述舉例
　 1.2.5　關(guān)鍵字
1.3　數(shù)據(jù)的關(guān)系模型
　 1.3.1　關(guān)系模型的基本概念
　 1.3.2　關(guān)系等價(jià)性問題
　 1.3.3　關(guān)系框架
　 1.3.4　基于集合論的關(guān)系定義
　 1.3.5 同類關(guān)系
　 1.3.6　關(guān)系的廣義相等和廣義包含
1.4 習(xí)題
　第2章　數(shù)據(jù)庫(kù)的概念設(shè)計(jì)
　　2.1　數(shù)據(jù)庫(kù)設(shè)計(jì)導(dǎo)論
　 2.1.1　基本設(shè)計(jì)方法
　 2.1.2　數(shù)據(jù)庫(kù)建模
　 2.1.3　數(shù)據(jù)庫(kù)概念設(shè)計(jì)的表示方法
　 2.1.4　數(shù)據(jù)庫(kù)概念設(shè)計(jì)方法
　 2.2　數(shù)據(jù)庫(kù)概念設(shè)計(jì)的實(shí)體聯(lián)系模型
　 2.2.1　E-R模型的基本結(jié)構(gòu)
　 2.2.2　數(shù)據(jù)庫(kù)概念設(shè)計(jì)中的聯(lián)系
　 2.2.3　聯(lián)系的多向性和聯(lián)系中的角色
　 2.2.4　聯(lián)系的屬性
　 2.2.5　把多向聯(lián)系轉(zhuǎn)換成二元聯(lián)系
　 2.3　對(duì)象定義語言
　 2.3.1 ODL中的屬性
　 2.3.2　ODL對(duì)聯(lián)系的描述
　 2.3.3　三類聯(lián)系方式的描述
　 2.3.4　關(guān)鍵字
　 2.4　關(guān)鍵字、約束和弱實(shí)體集
　 2.4.1 主關(guān)鍵字
　 2.4.2　數(shù)據(jù)庫(kù)建模中主關(guān)鍵字的表示
　 2.4.3　關(guān)于約束
　 2.4.4　弱實(shí)體集
　 2.5　從模型設(shè)計(jì)到關(guān)系設(shè)計(jì)
　 2.5.1　數(shù)據(jù)庫(kù)設(shè)計(jì)的一般方法
　 2.5.2　概念設(shè)計(jì)的基本方法
　 2.5.3　從E-R模型到關(guān)系的設(shè)計(jì)
　 2.5.4　從ODL設(shè)計(jì)到關(guān)系設(shè)計(jì)
　 2.5.5 E-R和ODL模型向關(guān)系模型轉(zhuǎn)換比較
　 2.6　數(shù)據(jù)定義語言
　 2.6.1 SQL語言
　 2.6.2　SQL支持的數(shù)據(jù)類型
　 2.6.3　基表的定義
　 2.6.4　基表模式修改語句
　 2.6.5　索引的建立和撤銷
2.7 習(xí)題
　第3章　關(guān)系運(yùn)算
　　3.1 關(guān)系代數(shù)
　 3.1.1　基礎(chǔ)知識(shí)
　 3.1.2　關(guān)系的集合運(yùn)算
　 3.1.3　刪除關(guān)系中部分?jǐn)?shù)據(jù)的運(yùn)算
　 3.1.4　連接關(guān)系的運(yùn)算
　 3.1.5　關(guān)系代數(shù)運(yùn)算表達(dá)式
　 3.1.6　改名運(yùn)算
　 3.1.7　基本關(guān)系代數(shù)運(yùn)算
　 3.2　關(guān)系代數(shù)運(yùn)算實(shí)現(xiàn)方法討論
　 3.2.1　關(guān)系求并、求差和求交運(yùn)算的實(shí)現(xiàn)方法
　 3.2.2　選擇和投影運(yùn)算的實(shí)現(xiàn)方法
　 3.2.3　關(guān)系的乘積和連接運(yùn)算的實(shí)現(xiàn)
　 3.3　關(guān)系演算
　 3.3.1　元組關(guān)系演算
　 3.3.2 元組演算和關(guān)系代數(shù)運(yùn)算的等價(jià)性
　 3.3.3　元組演算舉例
　 3.3.4　域關(guān)系演算
　 3.3.5　域演算舉例
　 3.4　邏輯查詢語言
　 3.4.1 Datalog中的謂詞和原子
　 3.4.2　Datalog規(guī)則
　 3.4.3 用Datalog規(guī)則表示五種基本關(guān)系代數(shù)運(yùn)算
　 3.4.4　關(guān)于Datalog規(guī)則的討論
　 3.4.5　用Datalog規(guī)則表示的運(yùn)算舉例
3.5　Datalog對(duì)遞歸過程的描述
　 3.5.1　一個(gè)遞歸處理的例子
　 3.5.2　使用Datalog描述遞歸運(yùn)算
　 3.5.3　Datalog遞歸規(guī)則中的求反問題
　 3.6 習(xí)題
　第4章　數(shù)據(jù)庫(kù)語言
　第5章　查詢優(yōu)化及實(shí)現(xiàn)
　第6章　數(shù)據(jù)庫(kù)系統(tǒng)及SQL編程環(huán)境
第2部分　系統(tǒng)篇
　第7章　數(shù)據(jù)庫(kù)的事務(wù)管理和并發(fā)訪問控制
　第8章　數(shù)據(jù)庫(kù)的約束、觸發(fā)程序和安全
　第9章　數(shù)據(jù)庫(kù)設(shè)計(jì)的理論基礎(chǔ)
　第10章　對(duì)象和對(duì)象-關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)
參考文獻(xiàn)