數據庫原理及應用(SQL Server)(第4版)（簡體書）

本書基於“數據庫原理 + SQL SERVER數據庫2012 + ADO.NET數據庫訪問技術 + VB.NET主語言”架構及其內容體系，並通過案例式教學和“大學教學信息管理數據庫應用系統”的完整設計過程，全面、系統地介紹了數據庫系統的基本概念、基本原理、基本技術和基本設計方法。全書共分為10章，內容不僅覆蓋了關系數據庫原理、數據庫應用系統設計方法和設計技術，而且給出了SQL Server2012數據庫管理系統軟件的基本運用方法。

李俊山，教授，博士生導師，中國計算機學會理事、中國圖像圖形學學會理事；原第二炮兵導彈專家，全軍院校育才獎金獎獲得者；曾任教育部高等學校大學計算機課程教學指導委員會委員。



獲省部級科技進步獎22項。建設國j級精品課程和國j級精品資源共享課2門、省部級優質課程和精品網絡課程2門。獲省部級優秀教學成果獎和優秀教材一等獎5項。發表學術論文350餘篇。第一作者出版專著3部、譯著1部、教材15部。

本書基於“數據庫原理 + SQL SERVER數據庫2012 + ADO.NET數據庫訪問技術 + VB.NET主語言”架構及其內容體系，並通過案例式教學和“大學教學信息管理數據庫應用系統”的完整設計過程，全面、系統地介紹了數據庫系統的基本概念、基本原理、基本技術和基本設計方法。全書共分為10章，內容不僅覆蓋了關系數據庫原理、數據庫應用系統設計方法和設計技術，而且給出了SQL Server2012數據庫管理系統軟件的基本運用方法，較全面地介紹了利用ADO.NET訪問數據庫的過程和方法，介紹了VB.NET程序設計基礎和VB.NET綁定數據方法；給出了一個典型的數據庫應用系統的設計案例及程序源碼，與時俱進地引入了組合實體集及其設計方法和NOSQL非關係型數據庫內容，理論與應用結合特色鮮明，教學參考及應用價值高。



本書可作為高等院校大學本科計算機科學與技術、軟件工程、網絡工程、信息安全、物聯網工程、數字媒體技術、信息工程、信息與計算科學、信息管理與信息系統、地理信息系統、電子商務等專業的數據庫課程教材，也可作為電器類專業研究生的數據庫課程教材。

第1章數據庫系統概述



1.1數據與數據管理



1.1.1信息與數據



1.1.2數據管理技術的發展



1.2數據庫系統組成



1.2.1數據庫



1.2.2數據庫管理系統



1.2.3數據庫應用系統



1.3數據描述與數據模型



1.3.1現實世界的數據描述



1.3.2數據模型



1.3.3層次模型



1.3.4網狀模型



1.4關係模型



1.4.1關係模型的基本概念



1.4.2關係的鍵與關係的屬性



1.5數據庫的內部體系結構



1.5.1數據庫內部體系結構中的三級模式結構



1.5.2數據庫內部體系結構中的兩級映像與數據獨立性



1.5.3數據庫內部體系結構的概念



1.6SQL Server 2012關系數據庫管理系統



1.6.1SQL Server 2012的組成



1.6.2SQL Server Management Studio



1.6.3SQL Server 2012的服務器管理



習題1



第2章關係運算



2.1關係的數學定義



2.1.1笛卡兒積的數學定義



2.1.2關係的數學定義



2.2關系代數



2.2.1基於傳統集合理論的關係運算



2.2.2關系代數特有的關係運算



2.2.3關係運算綜合示例



2.2.4關系代數運算在關系數據庫查詢操作中的應用



2.3關系演算



2.3.1元組關系演算



2.3.2域關系演算



2.43種關係運算表達能力的等價性



習題2



第3章數據庫應用系統設計方法



3.1數據庫應用系統設計概述



3.1.1數據庫應用系統的生命週期



3.1.2數據庫應用系統設計方法



3.1.3數據庫應用系統研發、管理和使用人員視圖級別



3.2用戶需求分析



3.2.1數據流圖



3.2.2數據字典



3.2.3用戶需求分析過程



3.2.4數據庫應用系統的功能需求



3.2.5數據庫應用系統環境配置與安全性需求



3.3數據庫概念結構設計



3.3.1實體與實體集



3.3.2實體集之間的聯繫及聯繫集



3.3.3ER圖設計方法



3.3.4實體聯繫模型設計中的一些特殊情況



3.3.5基於ER圖的概念結構設計步驟和方法



3.4數據庫邏輯結構設計



3.4.1ER圖表示的概念結構向關係模型的轉換



3.4.2關系數據庫模式的規範化設計及優化



3.5數據庫物理結構設計



3.5.1SQL Server的數據文件和日誌文件



3.5.2SQL Server 2012的數據庫



3.5.3使用SQL Server Management Studio創建數據庫的方法



3.5.4數據表及其創建與修改



3.5.5索引技術



3.5.6數據庫物理結構評價



3.6數據庫實現技術簡介



3.7數據庫應用系統運行與系統維護



3.7.1軟件維護



3.7.2運行與維護時期的主要工作



習題3



第4章關系數據庫語言SQL



4.1SQL的功能與特點



4.1.1SQL的功能



4.1.2SQL的特點



4.2表的基本操作



4.2.1表的創建、修改與撤銷



4.2.2表中數據的插入、修改和刪除



4.3SQL的數據查詢



4.3.1投影查詢



4.3.2選擇查詢



4.3.3分組查詢



4.3.4結果的排序查詢



4.3.5模糊查詢(字符串匹配)



4.3.6SQL語言中的常用函數



4.3.7表的連接查詢



4.3.8嵌套查詢



4.3.9謂詞演算查詢



4.3.10並、交、差運算查詢



4.4SQL的視圖操作



4.4.1視圖的創建



4.4.2在視圖上進行查詢操作



4.4.3用戶視圖對數據庫應用系統設計及系統性能的影響



4.5SQL中帶有子查詢的數據更新操作



4.5.1帶有子查詢的數據插入操作



4.5.2帶有子查詢條件的數據更新操作



4.6嵌入式SQL與￿標應用



4.6.1嵌入式SQL



4.6.2SQL Server 2012的￿標及其使用



習題4



第5章關系數據庫模式的規範化設計



5.1關係約束與關係模式的表示



5.2對關係模式進行規範化設計的必要性



5.3函數依賴



5.3.1函數依賴的定義



5.3.2具有函數依賴約束的關係模式



5.3.3函數依賴的邏輯蘊涵



5.4函數依賴的公理體系



5.4.1阿姆斯特朗公理



5.4.2阿姆斯特朗公理的推論



5.4.3X關於F的閉包及其計算



5.4.4最小函數依賴集



5.5關係模式的分解



5.5.1關係模式分解的概念



5.5.2保持無損的分解



5.5.3保持依賴的分解



5.6關係模式的規範化



5.6.1候選鍵的求解方法



5.6.2第一範式(1NF)



5.6.3第二範式(2NF)



5.6.4第三範式(3NF)



5.6.5鮑依斯柯德範式



5.6.6範式之間的關係和關係模式的規範化



5.6.7向3NF的保持無損和保持依賴分解算法



5.7關係模式的規範化方法小結



習題5



第6章TSQL與存儲過程



6.1TSQL基礎



6.2TSQL的語言要素



6.2.1常量



6.2.2變量



6.2.3表達式與運算符



6.2.4TSQL函數



6.3TSQL流程控制語句



6.3.1BEGIN…END語句



6.3.2IF…ELSE語句



6.3.3CASE語句



6.3.4WHILE語句



6.3.5WAITFOR語句



6.3.6其他語句



6.4基於TSQL的數據庫創建與管理應用



6.4.1利用TSQL語句創建數據庫



6.4.2利用TSQL語句管理數據庫



6.5存儲過程



6.5.1存儲過程基礎



6.5.2創建存儲過程



6.5.3執行存儲過程



6.5.4管理存儲過程



習題6



第7章數據庫應用系統體系結構與訪問技術



7.1數據庫應用系統的體系結構



7.1.1集中式計算模式的數據庫應用系統



7.1.2CS結構的數據庫應用系統



7.1.3BS結構的數據庫應用系統



7.2ADO.NET數據庫訪問接口



7.2.1ADO.NET的工作機理



7.2.2ADO.NET訪問數據庫的方法



7.3VB.NET程序設計基礎



7.3.1窗體



7.3.2控件



7.3.3屬性



7.3.4事件



7.3.5方法



7.4用VB.NET綁定數據



7.4.1VB.NET數據綁定概念



7.4.2DataGridView控件綁定數據源



7.4.3用代碼方式綁定數據源



習題7



第8章數據庫應用系統設計與實現



8.1系統功能分析



8.2數據庫與數據表創建



8.3新建項目



8.4數據庫應用系統設計與實現



8.4.1登錄模塊



8.4.2學生信息添加功能模塊



8.4.3學生信息查詢功能模塊



8.4.4成績信息查詢功能模塊



8.4.5成績信息維護功能模塊



8.4.6主界面模塊



8.5系統調試運行



習題8



第9章數據庫保護技術



9.1事務機制



9.1.1事務的概念



9.1.2事務的特性



9.1.3事務的類型



9.2數據庫的安全性



9.2.1數據庫安全的威脅



9.2.2數據庫安全控制



9.2.3視圖機制



9.2.4審計



9.2.5SQL Server 2012的安全機制



9.3數據庫的完整性



9.3.1域完整性約束



9.3.2實體完整性約束



9.3.3參照完整性約束



9.3.4用戶定義完整性約束



9.3.5SQL Server 2012的完整性約束



9.4數據庫恢復



9.4.1數據庫的故障分類



9.4.2數據庫故障的基本恢復方式



9.4.3恢復策略



9.4.4具有檢查點的恢復技術



9.4.5數據庫鏡像



9.4.6SQL Server數據庫的備份和還原



9.5併發控制



9.5.1數據庫併發操作帶來的數據不一致性問題



9.5.2鎖



9.5.3鎖協議



9.5.4封鎖帶來的問題――活鎖與死鎖



9.5.5併發調度的可串行性



9.5.6兩段鎖協議



9.5.7鎖的粒度



習題9



第10章數據庫新技術



10.1數據庫新技術發展的動因



10.1.1新應用領域對數據庫存儲、檢索和管理技術的需求



10.1.2關系數據庫系統的局限性



10.1.3數據庫技術新發展



10.2嵌入式數據庫



10.2.1嵌入式數據庫的基本架構



10.2.2嵌入式數據庫的主要特點



10.2.3嵌入式數據庫的應用



10.3非關係型數據庫NoSQL



10.3.1Web 2.0動態網站對數據庫性能的需求



10.3.2NoSQL數據庫的概念



10.3.3NoSQL數據庫的特徵



10.3.4NoSQL數據庫的分類



10.3.5NoSQL數據庫發展展望



10.4面向特定應用領域的數據庫新技術



10.4.1工程數據庫



10.4.2統計數據庫



10.4.3空間數據庫



習題10



附錄A安裝SQL Server 2012



附錄B安裝Visual Studio 2010



附錄C大學教學信息管理數據庫應用系統案例程序代碼



參考文獻