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

第1部分 基礎(chǔ)篇
　第l章　數(shù)據(jù)庫系統(tǒng)導(dǎo)論
1.1　數(shù)據(jù)庫系統(tǒng)
　1.1.1　數(shù)據(jù)庫系統(tǒng)的產(chǎn)生
　 1.1.2　數(shù)據(jù)庫系統(tǒng)的定義
　 1.1.3　數(shù)據(jù)庫與信息系統(tǒng)
1.2　客觀世界的數(shù)據(jù)描述
　 1.2.1　信息的三個領(lǐng)域
　 1.2.2　如何實現(xiàn)對客觀世界的數(shù)據(jù)描述
　 1.2.3　實體集之間的聯(lián)系
　 1.2.4　對客觀世界的數(shù)據(jù)描述舉例
　 1.2.5　關(guān)鍵字
1.3　數(shù)據(jù)的關(guān)系模型
　 1.3.1　關(guān)系模型的基本概念
　 1.3.2　關(guān)系等價性問題
　 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ù)庫的概念設(shè)計
　　2.1　數(shù)據(jù)庫設(shè)計導(dǎo)論
　 2.1.1　基本設(shè)計方法
　 2.1.2　數(shù)據(jù)庫建模
　 2.1.3　數(shù)據(jù)庫概念設(shè)計的表示方法
　 2.1.4　數(shù)據(jù)庫概念設(shè)計方法
　 2.2　數(shù)據(jù)庫概念設(shè)計的實體聯(lián)系模型
　 2.2.1　E-R模型的基本結(jié)構(gòu)
　 2.2.2　數(shù)據(jù)庫概念設(shè)計中的聯(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　對象定義語言
　 2.3.1 ODL中的屬性
　 2.3.2　ODL對聯(lián)系的描述
　 2.3.3　三類聯(lián)系方式的描述
　 2.3.4　關(guān)鍵字
　 2.4　關(guān)鍵字、約束和弱實體集
　 2.4.1 主關(guān)鍵字
　 2.4.2　數(shù)據(jù)庫建模中主關(guān)鍵字的表示
　 2.4.3　關(guān)于約束
　 2.4.4　弱實體集
　 2.5　從模型設(shè)計到關(guān)系設(shè)計
　 2.5.1　數(shù)據(jù)庫設(shè)計的一般方法
　 2.5.2　概念設(shè)計的基本方法
　 2.5.3　從E-R模型到關(guān)系的設(shè)計
　 2.5.4　從ODL設(shè)計到關(guān)系設(shè)計
　 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)系運算
　　3.1 關(guān)系代數(shù)
　 3.1.1　基礎(chǔ)知識
　 3.1.2　關(guān)系的集合運算
　 3.1.3　刪除關(guān)系中部分?jǐn)?shù)據(jù)的運算
　 3.1.4　連接關(guān)系的運算
　 3.1.5　關(guān)系代數(shù)運算表達(dá)式
　 3.1.6　改名運算
　 3.1.7　基本關(guān)系代數(shù)運算
　 3.2　關(guān)系代數(shù)運算實現(xiàn)方法討論
　 3.2.1　關(guān)系求并、求差和求交運算的實現(xiàn)方法
　 3.2.2　選擇和投影運算的實現(xiàn)方法
　 3.2.3　關(guān)系的乘積和連接運算的實現(xiàn)
　 3.3　關(guān)系演算
　 3.3.1　元組關(guān)系演算
　 3.3.2 元組演算和關(guān)系代數(shù)運算的等價性
　 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ù)運算
　 3.4.4　關(guān)于Datalog規(guī)則的討論
　 3.4.5　用Datalog規(guī)則表示的運算舉例
3.5　Datalog對遞歸過程的描述
　 3.5.1　一個遞歸處理的例子
　 3.5.2　使用Datalog描述遞歸運算
　 3.5.3　Datalog遞歸規(guī)則中的求反問題
　 3.6 習(xí)題
　第4章　數(shù)據(jù)庫語言
　第5章　查詢優(yōu)化及實現(xiàn)
　第6章　數(shù)據(jù)庫系統(tǒng)及SQL編程環(huán)境
第2部分　系統(tǒng)篇
　第7章　數(shù)據(jù)庫的事務(wù)管理和并發(fā)訪問控制
　第8章　數(shù)據(jù)庫的約束、觸發(fā)程序和安全
　第9章　數(shù)據(jù)庫設(shè)計的理論基礎(chǔ)
　第10章　對象和對象-關(guān)系數(shù)據(jù)庫系統(tǒng)
參考文獻(xiàn)