出版時間:2008-1 出版社:清華大學(xué) 作者:苑森淼,康輝 頁數(shù):310
Tag標(biāo)簽:無
內(nèi)容概要
本書詳細(xì)地介紹了數(shù)據(jù)庫系統(tǒng)的原理。全書分為基礎(chǔ)篇和系統(tǒng)篇兩部分?;A(chǔ)篇完整地介紹了數(shù)據(jù)庫建模、關(guān)系演算、數(shù)據(jù)庫語言及其查詢優(yōu)化和編程環(huán)境;系統(tǒng)篇詳細(xì)講解了數(shù)據(jù)庫系統(tǒng)的事務(wù)與并發(fā)控制、數(shù)據(jù)庫的完整性與安全性、數(shù)據(jù)庫設(shè)計的理論基礎(chǔ)以及面向?qū)ο蠹夹g(shù)對天系型數(shù)據(jù)庫的影響。 本書可作為高等院校計算機相關(guān)專業(yè)的數(shù)據(jù)庫課程教材,也可供從事信息領(lǐng)域工作的科技人員和工程技術(shù)人員以及有關(guān)人員參閱。
書籍目錄
第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)
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載
數(shù)據(jù)庫系統(tǒng)教程 PDF格式下載