數據庫原理教程（簡體書）

本書全面闡述了數據庫系統的基本概念、理論、方法和技術。全書共分12章，包括數據庫系統概述、實體一聯系模型、關係數據模型、關係數據庫標準語言SQL、完整性與安全性、關係數據庫的設計理論、數據庫設計、查詢處理與優化、事務與并發控制、數據庫的恢復技術、XML和ODBC編程。附錄給出了實驗和課程設計，用于配合課堂教學。
本書涵蓋了數據庫系統原理入門課程的基本內容，同時包含了XML和ODBC編程等實用的較新知識點。本書理論與實踐兼顧。關係數據庫設計理論的形式化證明，以章后附錄的形式給出，既保證了理論的完整性，又可以使得關注技術的讀者擺脫繁瑣證明的困擾。
本書是為高等學校計算機、信息科學及其相關專業本科生和軟件學院學生的第一門數據庫課程編寫的教材，也適合希望掌握數據庫理論、方法和技術的工程技術人員閱讀。

前言
第1章 數據庫系統概述
1.1 引言
1.2 數據模型
1.3 數據庫系統的結構
1.4 數據庫語言
1.5 數據庫管理員與數據庫用戶
1.6 數據庫技術的發展
1.7 小結
習題
第2章 實體聯系模型
2.1 基本概念
2.2 實體一聯系圖
2.3 一個例子
2.4 弱實體集
2.5 擴展的E—R圖
2.6 小結
習題
第3章 關係數據模型
3.1 關係數據庫的結構
3.2 從E—R模型到關係模型
3.3 關係的完整性約束
3.4 關係代數
3.5 關係演算
3.6 關係數據庫的更新
3.7 小結
習題
第4章 關係數據庫標準語言SQL
4.1 引言
4.2 數據定義
4.3 數據查詢
4.4 數據更新
4.5 視圖
4.6 嵌入式SQL
4.7 小結
習題
第5章 完整性與安全性
5.1 完整性概述
5.2 實體完整性和參照完整性
5.3 域約束
5.4 用戶定義的完整性
5.5 觸發器
5.6 安全性概述
5.7 用戶標識與鑒別
5.8 存取控制
5.9SQL的授權
5.1 0其他安全措施
5.1 1小結
習題
第6章 關係數據庫的設計理論
6.1 問題提出
6.2 函數依賴
6.3 函數依賴的推導
6.4 關係模式的分解
6。5關係模式的范式
6.6 將關係模式分解成高級范式
6.7 多值依賴與4NF
6.8 在設計中使用規範化理論
6.9小結
習題
附錄：本章 引理和定理證明
第7章 數據庫設計
7.1 數據庫設計概述
7.2 需求分析
7.3 數據庫概念設計
7.4 邏輯結構設計
7.5 數據庫物理設計
7.6 數據庫的實施和維護
7.7 小結
習題
第8章 查詢處理與優化
8.1 查詢處理概述
8.2 選擇運算的實現
8.3 連接運算的實現
8.4 查詢優化
8.5 代數優化
8.6 物理優化
8.7 小結
習題
笫9章 事務與并發控制
9.1 事務的概念
9.2 并發控制概述
9.3 并發調度的可串行化
9.4 基於鎖的協議
9.5 兩階段鎖協議
9.6 多粒度封鎖
9.7 小結
習題
第10章 數據庫的恢復技術
10.1 數據庫恢復概述
10.2 存儲器結構
10.3 基於日志的恢復技術
10.4 基於檢查點的恢復技術
10.5 緩沖技術
10.6 介質故障恢復技術
10.7 其他恢復技術
10.8 小結
習題
第11章 XML
11.1 概述
11.2 XML數據結構
11.3 XML文檔模式
11.4 查詢和轉換
11.5 應用程序接口
11.6 XML數據的存儲
11.7 XML應用
11.8 小結
習題
第12章 ODBC編程
12.1 ODBC簡介
12.2 ODBC的工作原理
12.3 ODBCAPI基礎
12.4 ODBC的工作流程
12.5 ODBC應用實例
12.6 小結
參考文獻
附錄 實驗與課程設計
1 實驗
2 課程設計