數據庫原理與應用:基於SQL Server2016
內容描述
《數據庫原理與應用:基於SQL Server2016》主要由三部分內容組成:
第一部分主要介紹數據庫理論,包括數據模型、數據庫設計、關係代數、規範化理論;
第二部分主要介紹數據庫相關的一些內容,包括創建數據庫、創建數據庫對象、
數據查詢、數據修改、函數、存儲過程、觸發器、事務處理等;
第三部分主要介紹數據庫的維護性工作,包括安全管理、備份和恢復數據庫。
本書採用的實踐平台為SQL Server 2016,該平台界面友好、使用方便、功能全面,
非常適合作為數據庫實踐平台使用。
本書內容全面、實例豐富,以一個小型家庭財政收支登記系統作為案例,
貫穿全書始終,將很多知識點連貫起來,方便讀者學習,也方便教師開展教學工作。
《數據庫原理與應用:基於SQL Server2016》可作為高等院校計算機專業以及信息管理等相關專業的教材,
也可作為相關技術人員學習數據庫知識的參考書。
目錄大綱
目錄
前言
第1章數據庫與關係型數據庫設計概論
1.1數據管理技術的發展
1.1.1人工管理階段
1.1.2文件管理階段
1.1.3數據庫管理階段
1.2數據庫系統
1.2.1數據庫系統的組成
1.2.2數據庫系統的前景和效益
1.3數據庫管理系統
1.3.1數據庫管理系統的主要功能
l.3.2數據庫管理系統的組成
1.4數據描述與數據模型
1.4.1數據描述的3個領域
1.4.2數據模型的概念
1.5概念模型
1.5.1實體聯繫模型
1.5.2 ER圖(Entiy Relationship Diagrarm)
1.5.3概念設計的方法與步驟
1.5.4數據抽象
1.5.5概念設計
1.6邏輯模型
1.7關係模型
1.7.1關係模型的基本概念
1.7 .2關係模型的基本術語
1.7.3關係模式、關係子模式和存儲模式
1.7.4關係模型的3類完整性規則
1.7.5邏輯設計
1.8物理設計
小結
習題
第2章關係運算
2.1關係代數
2.1.1關係代數的5種基本操作
2.1.2關係代數的組合操作
2.1.3擴充的關係代數操作
2.2關係演算
2.2.1元組關係演算
2.2.2元組關係演算語言ALPHA
2.2.3域關係演算
2.2.4域關係演算語言QBE
2.3關係運算的安全性和等價性
2.3.1關係運算的安全性
2.3.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.2.6函數依賴集的最小化
3.2.7候選鍵
3.3關係模式的範式
3.3.1第一範式
3.3.2第二範式
3.3.3第三範式
3.3.4 BCNF範式
3.3.5多值依賴與第四範式
3.3.6連接依賴與第五範式
3.3.7關係模式規範化小結
……
第4章SOL Server 2016概述
第5章SOL Server程序設計基礎
第6章數據庫和表
第7章查詢、視圖、索引與游標
第8章存儲過程、觸發器、事務
第9章數據備份與還原、分離與附加、導出與導入
第10章SOL Server的安全管理
參考文獻