出版時間:2008-4 出版社:范明、葉陽東、邱保志、 職為梅 科學(xué)出版社 (2008-04出版) 作者:范明 等 著 頁數(shù):364
Tag標(biāo)簽:無
內(nèi)容概要
《普通高等教育“十一五”規(guī)劃教材:數(shù)據(jù)庫原理教程》全面闡述了數(shù)據(jù)庫系統(tǒng)的基本概念、理論、方法和技術(shù)。全書共分12章,包括數(shù)據(jù)庫系統(tǒng)概述、實體-聯(lián)系模型、關(guān)系數(shù)據(jù)模型、關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL、完整性與安全性、關(guān)系數(shù)據(jù)庫的設(shè)計理論、數(shù)據(jù)庫設(shè)計、查詢處理與優(yōu)化、事務(wù)與并發(fā)控制、數(shù)據(jù)庫的恢復(fù)技術(shù)、XML和ODBC編程。附錄給出了實驗和課程設(shè)計,用于配合課堂教學(xué)。 《普通高等教育“十一五”規(guī)劃教材:數(shù)據(jù)庫原理教程》涵蓋了數(shù)據(jù)庫系統(tǒng)原理入門課程的基本內(nèi)容,同時包含了XML和ODBC編程等實用的較新知識點。本書理論與實踐兼顧。關(guān)系數(shù)據(jù)庫設(shè)計理論的形式化證明,以章后附錄的形式給出,既保證了理論的完整性,又可以使得關(guān)注技術(shù)的讀者擺脫繁瑣證明的困擾。 本書是為高等學(xué)校計算機(jī)、信息科學(xué)及其相關(guān)專業(yè)本科生和軟件學(xué)院學(xué)生的第一門數(shù)據(jù)庫課程編寫的教材,也適合希望掌握數(shù)據(jù)庫理論、方法和技術(shù)的工程技術(shù)人員閱讀。
書籍目錄
前言第1章 數(shù)據(jù)庫系統(tǒng)概述 1.1 引言 1.2 數(shù)據(jù)模型 1.3 數(shù)據(jù)庫系統(tǒng)的結(jié)構(gòu) 1.4 數(shù)據(jù)庫語言 1.5 數(shù)據(jù)庫管理員與數(shù)據(jù)庫用戶 1.6 數(shù)據(jù)庫技術(shù)的發(fā)展 1.7 小結(jié) 習(xí)題第2章 實體聯(lián)系模型 2.1 基本概念 2.2 實體一聯(lián)系圖 2.3 一個例子 2.4 弱實體集 2.5 擴(kuò)展的E—R圖 2.6 小結(jié) 習(xí)題第3章 關(guān)系數(shù)據(jù)模型 3.1 關(guān)系數(shù)據(jù)庫的結(jié)構(gòu) 3.2 從E—R模型到關(guān)系模型 3.3 關(guān)系的完整性約束 3.4 關(guān)系代數(shù) 3.5 關(guān)系演算 3.6 關(guān)系數(shù)據(jù)庫的更新 3.7 小結(jié) 習(xí)題第4章 關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL 4.1 引言 4.2 數(shù)據(jù)定義 4.3 數(shù)據(jù)查詢 4.4 數(shù)據(jù)更新 4.5 視圖 4.6 嵌入式SQL 4.7 小結(jié) 習(xí)題第5章 完整性與安全性 5.1 完整性概述 5.2 實體完整性和參照完整性 5.3 域約束 5.4 用戶定義的完整性 5.5 觸發(fā)器 5.6 安全性概述 5.7 用戶標(biāo)識與鑒別 5.8 存取控制 5.9SQL的授權(quán) 5.1 0其他安全措施 5.1 1小結(jié) 習(xí)題第6章 關(guān)系數(shù)據(jù)庫的設(shè)計理論 6.1 問題提出 6.2 函數(shù)依賴 6.3 函數(shù)依賴的推導(dǎo) 6.4 關(guān)系模式的分解 6。5關(guān)系模式的范式 6.6 將關(guān)系模式分解成高級范式 6.7 多值依賴與4NF 6.8 在設(shè)計中使用規(guī)范化理論 6.9小結(jié) 習(xí)題 附錄:本章 引理和定理證明第7章 數(shù)據(jù)庫設(shè)計 7.1 數(shù)據(jù)庫設(shè)計概述 7.2 需求分析 7.3 數(shù)據(jù)庫概念設(shè)計 7.4 邏輯結(jié)構(gòu)設(shè)計 7.5 數(shù)據(jù)庫物理設(shè)計 7.6 數(shù)據(jù)庫的實施和維護(hù) 7.7 小結(jié) 習(xí)題第8章 查詢處理與優(yōu)化 8.1 查詢處理概述 8.2 選擇運算的實現(xiàn) 8.3 連接運算的實現(xiàn) 8.4 查詢優(yōu)化 8.5 代數(shù)優(yōu)化 8.6 物理優(yōu)化 8.7 小結(jié) 習(xí)題 笫9章 事務(wù)與并發(fā)控制 9.1 事務(wù)的概念 9.2 并發(fā)控制概述 9.3 并發(fā)調(diào)度的可串行化 9.4 基于鎖的協(xié)議 9.5 兩階段鎖協(xié)議 9.6 多粒度封鎖 9.7 小結(jié) 習(xí)題第10章 數(shù)據(jù)庫的恢復(fù)技術(shù) 10.1 數(shù)據(jù)庫恢復(fù)概述 10.2 存儲器結(jié)構(gòu) 10.3 基于日志的恢復(fù)技術(shù) 10.4 基于檢查點的恢復(fù)技術(shù) 10.5 緩沖技術(shù) 10.6 介質(zhì)故障恢復(fù)技術(shù) 10.7 其他恢復(fù)技術(shù) 10.8 小結(jié) 習(xí)題第11章 XML 11.1 概述 11.2 XML數(shù)據(jù)結(jié)構(gòu) 11.3 XML文檔模式 11.4 查詢和轉(zhuǎn)換 11.5 應(yīng)用程序接口 11.6 XML數(shù)據(jù)的存儲 11.7 XML應(yīng)用 11.8 小結(jié) 習(xí)題第12章 ODBC編程 12.1 ODBC簡介 12.2 ODBC的工作原理 12.3 ODBCAPI基礎(chǔ) 12.4 ODBC的工作流程 12.5 ODBC應(yīng)用實例 12.6 小結(jié)參考文獻(xiàn)附錄 實驗與課程設(shè)計 1 實驗 2 課程設(shè)計
編輯推薦
范明、葉陽東、邱保志、職為梅編著的《數(shù)據(jù)庫原理教程》介紹數(shù)據(jù)庫系統(tǒng)的一般概念和技術(shù)。書中的概念和算法基于商品化或?qū)嶒灁?shù)據(jù)庫系統(tǒng)所采用的概念和算法,但并不與一個特定的數(shù)據(jù)庫系統(tǒng)聯(lián)系在一起。通過這些內(nèi)容的學(xué)習(xí),讀者容易理解和掌握具體的數(shù)據(jù)庫系統(tǒng)。 本書理論與實踐兼顧。關(guān)系數(shù)據(jù)庫的設(shè)計理論不僅體現(xiàn)了數(shù)據(jù)庫研究的重要成果,同時也為設(shè)計好的關(guān)系模式提供了具體方法和技術(shù)。關(guān)系數(shù)據(jù)庫設(shè)計理論的形式化證明從正文中分離,以章后附錄的形式給出,這樣既保證了理論的完整性,又可以使得關(guān)注技術(shù)的讀者擺脫繁瑣證明的困擾。除了數(shù)據(jù)庫系統(tǒng)原理入門課程的基本內(nèi)容外,本書還包括XML和ODBC編程等實用的較新知識點。對于實際應(yīng)用和數(shù)據(jù)庫應(yīng)用系統(tǒng)的開發(fā),這些內(nèi)容是有用的。為了加強(qiáng)實踐環(huán)節(jié),本書還在書后附錄提供了一些可供選擇的實驗和課程設(shè)計的參考選題。
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載