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

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