出版時間:2010-3 出版社:中南大學(xué)出版社 作者:陸琳,羅明亮 主編 頁數(shù):168
內(nèi)容概要
本書以關(guān)系數(shù)據(jù)庫系統(tǒng)為核心,按照“原理一設(shè)計一應(yīng)用”循序漸進(jìn)的模式,全面、系統(tǒng)地闡述了數(shù)據(jù)庫系統(tǒng)的基本原理、設(shè)計技術(shù)和開發(fā)應(yīng)用的主要知識。全書內(nèi)容分為兩大部分,分別為技術(shù)篇與應(yīng)用篇:其中第l章、第2章,主要介紹關(guān)系數(shù)據(jù)庫的主要基本概念與數(shù)據(jù)模型,為原理部分;第3章、第4章、第5章,討論關(guān)系數(shù)據(jù)庫的模式、保護(hù)以及開發(fā)設(shè)計等方面的原理、方法與技術(shù),從基礎(chǔ)理論知識漸次過渡到實用設(shè)計技術(shù),為技術(shù)部分;第二部分是應(yīng)用篇,從第6章開始,按照理論聯(lián)系實際、重在實踐操作的原則,以現(xiàn)今最流行的關(guān)系數(shù)據(jù)庫管理系統(tǒng)——SQL Server 2005及其使用的Transact-SQL語言為例,通過大量實例,全面介紹了關(guān)系數(shù)據(jù)庫的程序設(shè)計基礎(chǔ)、SQL Server 2005的安裝、配置和各種主要應(yīng)用操作。
書籍目錄
第1章 數(shù)據(jù)庫概論 1.1 數(shù)據(jù)管理技術(shù)的發(fā)展 1.1.1 人工管理階段 1.1.2 文件管理階段 1.1.3 數(shù)據(jù)庫階段 1.2 數(shù)據(jù)描述 1.2.1 數(shù)據(jù)描述的3個領(lǐng)域 1.2.2 數(shù)據(jù)聯(lián)系的描述 1.3 數(shù)據(jù)模型 1.3.1 數(shù)據(jù)模型的概念 1.3.2 實體聯(lián)系模型與E-R圖 1.3.3 結(jié)構(gòu)數(shù)據(jù)模型 1.4 數(shù)據(jù)庫體系結(jié)構(gòu) 1.4.1 數(shù)據(jù)庫的三級模式結(jié)構(gòu) 1.4.2 數(shù)據(jù)庫的二級映像技術(shù) 1.4.3 兩級數(shù)據(jù)獨立性 1.5 數(shù)據(jù)庫管理系統(tǒng) 1.5.1 數(shù)據(jù)庫管理系統(tǒng)的主要功能 1.5.2 數(shù)據(jù)庫管理系統(tǒng)的組成 1.6 數(shù)據(jù)庫系統(tǒng) 1.6.1 數(shù)據(jù)庫系統(tǒng)的組成 1.6.2 數(shù)據(jù)庫系統(tǒng)的前景和效益第2章 關(guān)系模型 2.1 關(guān)系模型的基本概念 2.1.1 關(guān)系模型的基本術(shù)語 2.1.2 關(guān)系模式、關(guān)系子模式和存儲模式 2.1.3 關(guān)系模型的3類完整性規(guī)則 2.2 關(guān)系代數(shù) 2.2.1 關(guān)系代數(shù)的基本操作 2.2.2 關(guān)系代數(shù)的組合操作 2.2.3 擴(kuò)充的關(guān)系代數(shù)操作 2.3 關(guān)系演算 2.3 一元組關(guān)系演算 2.3.2 元組關(guān)系演算語言ALPHA 2.3.3 域關(guān)系演算 2.3.4 域關(guān)系演算語言QBE 2.4 關(guān)系運算的安全性、等價性 2.4.1 關(guān)系運算的安全性 2.4.2 關(guān)系運算的等價性 2.5 關(guān)系查詢優(yōu)化 2.5.1 關(guān)系查詢優(yōu)化概述 2.5.2 一個基于代價分析的查詢優(yōu)化實例 2.5.3 查詢優(yōu)化的一般準(zhǔn)則 2.5.4 關(guān)系代數(shù)等價變換規(guī)則 2.5.5 關(guān)系代數(shù)表達(dá)式的優(yōu)化算法 2.5.6 優(yōu)化的一般步驟第3章 關(guān)系模式設(shè)計技術(shù) 3.1 關(guān)系模式的設(shè)計問題 3.1.1 問題的提出 3.1.2 問題分析 3.1.3 問題的解決方案 3.2 函數(shù)依賴 3.2.1 函數(shù)依賴的概念 3.2.2 函數(shù)依賴的分類 3.2.3 函數(shù)依賴的邏輯蘊(yùn)涵與推理規(guī)則 3.2.4 函數(shù)依賴集的閉包與屬性閉包 3.2.5 函數(shù)依賴集的覆蓋和等價 3.2.6 函數(shù)依賴集的最小化? 3.2.7 候選鍵 3.3 關(guān)系模式的范式 3.3.1 第一范式 3.3.2 第二范式 3.3.3 第三范式 3.3.4 BCNF范式 3.3.5 多值依賴與第四范式 3.3.6 連接依賴與第五范式 3.3.7 關(guān)系模式規(guī)范化小結(jié) 3.4 關(guān)系模式的分解 3.4.1 無損聯(lián)接 3.4.2 保持函數(shù)依賴的分解 3.4.3 關(guān)系模式的分解算法 第4章 數(shù)據(jù)庫保護(hù)技術(shù)第5章 數(shù)據(jù)庫設(shè)計技術(shù)參考文獻(xiàn)
章節(jié)摘錄
1.4.2 數(shù)據(jù)庫的二級映像技術(shù) DBS的二級映像技術(shù)是指外模式與邏輯模式之間的映像、邏輯模式與內(nèi)模式之間的映像技術(shù),二級映像技術(shù)不僅在三級數(shù)據(jù)模式之間建立了聯(lián)系,同時也保證了數(shù)據(jù)的獨立性?! 。?)外模式/模式映像及作用 外模式/模式映像定義并保證了外模式與數(shù)據(jù)模式之間的對應(yīng)關(guān)系。當(dāng)模式變化時,DBA可以通過修改映像的方法使外模式不變;由于應(yīng)用程序是根據(jù)外模式進(jìn)行設(shè)計的,只要外模式不改變,應(yīng)用程序就不需要修改?! ★@然,DBS中的外模式與模式映像技術(shù)不僅建立了用戶數(shù)據(jù)庫與邏輯數(shù)據(jù)庫之間的對應(yīng)關(guān)系,使得用戶能夠按子模式進(jìn)行程序設(shè)計,同時也保證了數(shù)據(jù)的邏輯獨立性?! ⊥饽J剑J接诚穸x通常在外模式中描述?! 。?)模式/內(nèi)模式的映像及作用 模式/內(nèi)模式映像定義并保證了數(shù)據(jù)的邏輯模式與內(nèi)模式之間的對應(yīng)關(guān)系,它說明數(shù)據(jù)的記錄、數(shù)據(jù)項在計算機(jī)內(nèi)部是如何組織和表示的。當(dāng)DB的存儲結(jié)構(gòu)改變時,DBA可以通過修改模式/內(nèi)模式映像使數(shù)據(jù)的邏輯模式不變。由于用戶或程序是按數(shù)據(jù)的邏輯模式使用數(shù)據(jù)的,所以只要數(shù)據(jù)的邏輯模式不變,用戶仍可按原來的方式使用數(shù)據(jù),應(yīng)用程序也不需修改。模式/內(nèi)模式映像技術(shù)不僅使用戶或程序能夠按數(shù)據(jù)的邏輯結(jié)構(gòu)使用數(shù)據(jù),還提供了內(nèi)模式變化而程序不變的方法,從而保證了數(shù)據(jù)的物理獨立性。 模式/內(nèi)模式映像一般是在內(nèi)模式中描述?! ?.4.3 兩級數(shù)據(jù)獨立性 數(shù)據(jù)獨立性是指應(yīng)用程序和數(shù)據(jù)之間相互獨立,不受影響。數(shù)據(jù)獨立性分成物理數(shù)據(jù)獨立性和邏輯數(shù)據(jù)獨立性兩級?! 、傥锢頂?shù)據(jù)獨立性:如果DB的內(nèi)模式進(jìn)行修改,那么模式/內(nèi)模式映像也要相應(yīng)修改,使邏輯模式盡可能保持不變,即對內(nèi)模式的修改盡量不影響邏輯模式(當(dāng)然,對外模式和應(yīng)用程序的影響更小)。這樣,我們稱DB達(dá)到物理數(shù)據(jù)獨立性?! 、谶壿嫈?shù)據(jù)獨立性:如果DB的邏輯模式進(jìn)行修改,那么外模式/模式映像也要相應(yīng)修改,使外模式盡可能保持不變(即對邏輯模式的修改盡量不影響外模式和應(yīng)用程序)。這樣,我們稱DB達(dá)到邏輯數(shù)據(jù)獨立性。
圖書封面
評論、評分、閱讀與下載
數(shù)據(jù)庫技術(shù)與應(yīng)用 PDF格式下載