陸黎明、王玉善、陳軍華編*的這本《數據庫原理與實踐》全面地闡述了數據庫系統的基本概念、基本原理、基本方法和基本技術,內容包括數據庫的基本概念、數據模型、關系數據庫、結構化查詢語言 SQL完整性約束的實現、索引與視圖、數據庫安全技術、事務及其特性、并發(fā)控制、數據庫恢復技術、關系數據庫設計理論、數據庫設計和實驗指導等。
本書注重實踐,強調理論聯系實際,在有關章節(jié)介紹了SQL Server 2005中的索引、視圖、安全性、事務、并發(fā)控制和恢復技術,并用單獨一章來介紹 SQL Server 2005中的函數、游標、存儲過程和觸發(fā)器,*后配有與教學同步的實驗指導;另外,在第9 章以學校管理信息系統為例完整地介紹了數據庫設計的全過程,所有這些都有利于讀者對數據庫系統基本原理、基本方法和基本技術的理解和掌握。
本書結構合理、概念清晰、圖文并茂并且例題豐富,關注新概念和新技術,配套的練習題不但量多而且題型豐富,有利于讀者對數據庫原理的理解和掌握。本書適合作為高等學校計算機、軟件工程、電子商務、信息與計算科學和地理信息系統等相關專業(yè)本科生數據庫課程的教材,也可作為電子信息類專業(yè)研究生數據庫課程的教材,還可作為計算機等級考試(三級數據庫技術)的參考書和自學教材。
第1章 概述
1.1 數據庫技術的產生與發(fā)展
1.1.1 數據處理和數據管理
1.1.2 數據管理技術的發(fā)展
1.1.3 數據庫技術的特點和展望
1.2 數據庫系統的組成
1.2.1 數據庫
1.2.2 數據庫管理系統等軟件
1.2.3 數據庫管理員
1.3 數據庫的體系結構
1.3.1 模式的概念
1.3.2 三級模式結構
1.3.3 二級映像和二級獨立性
習題1
第2章 關系數據庫
2.1 數據模型
2.1.1 數據模型的定義和基本要求
2.1.2 數據模型的三個層次
2.1.3 數據模型的三個組成要素
2.2 概念模型概述
2.2.1 信息世界中的基本概念
2.2.2 實體間的聯系
2.2.3 概念模型的表示方法——E-R圖
2.3 邏輯數據模型概述
2.3.1 層次模型
2.3.2 網狀模型
2.3.3 關系模型
2.4 關系模型
2.4.1 關系數據結構
2.4.2 關系的完整性
2.4.3 關系操作的特點與分類
2.5 關系代數
2.5.1 傳統的集合運算
2.5.2 專門的關系運算
2.5.3 擴展的關系代數運算
2.5.4 關系代數運算的應用實例
習題2
第3章 結構化查詢語言SQL
3.1 SQL語言概述
3.1.1 SQL的產生與發(fā)展
3.1.2 SQL的功能與特點
3.2 數據定義
3.2.1 數據庫的創(chuàng)建、修改與刪除
3.2.2 SQL中的數據類型
3.2.3 基本表的創(chuàng)建、修改與刪除
3.3 完整性約束的實現
3.3.1 數據庫完整性的概念
3.3.2 各類完整性約束的實現
3.3.3 表中完整性約束的增加與刪除
3.4 數據查詢
3.4.1 單表查詢
3.4.2 連接查詢
3.4.3 嵌套查詢
3.4.4 集合查詢
3.5 數據更新
3.5.1 插入數據
3.5.2 修改數據
3.5.3 刪除數據
習題3
第4章 索引與視圖
4.1 索引
4.1.1 索引的概念
4.1.2 創(chuàng)建索引的基本原則
4.1.3 索引的創(chuàng)建與刪除
4.1.4 SQL Server 2005中的索引
4.2 視圖
4.2.1 視圖的定義與刪除
4.2.2 查詢視圖
4.2.3 更新視圖
4.2.4 視圖的作用
4.2.5 SQL Server 2005中的索引視圖
習題4
第5章 數據庫安全技術
5.1 安全性控制技術概述
5.1.1 計算機系統的三類安全性問題
5.1.2 安全標準簡介
5.1.3 數據庫安全性控制概述
5.2 用戶管理和角色管理
5.2.1 用戶管理
5.2.2 角色管理
5.3 權限管理
5.3.1 授予權限
5.3.2 收回權限
5.4 SQL Server的安全機制
5.4.1 SQL Server 2005的身份驗證模式
5.4.2 SQL Server 2005的固定角色
5.4.3 拒絕權限
習題5
第6章 函數、游標、存儲過程和觸發(fā)器
6.1 腳本、批和注釋符
6.1.1 腳本
6.1.2 批
6.1.3 注釋符
6.2 常量、變量和運算符
6.2.1 常量
6.2.2 變量
6.2.3 運算符
6.3 流程控制語句
6.3.1 塊語句
6.3.2 分支語句
6.3.3 循環(huán)語句
6.3.4 其他控制語句
6.4 函數
6.4.1 系統函數
6.4.2 用戶自定義函數
6.5 游標
6.5.1 定義游標
6.5.2 打開游標
6.5.3 通過游標讀取數據
6.5.4 通過游標修改和刪除數據
6.5.5 關閉游標和釋放游標
6.6 存儲過程
6.6.1 系統存儲過程
6.6.2 用戶自定義存儲過程
6.6.3 使用存儲過程實現封裝業(yè)務邏輯
6.7 觸發(fā)器
6.7.1 觸發(fā)器概述
6.7.2 觸發(fā)器的創(chuàng)建和管理
6.7.3 使用觸發(fā)器實現強制業(yè)務規(guī)則
習題6
第7章 事務管理
7.1 事務
7.1.1 事務的定義
7.1.2 事務的ACID性質
7.1.3 事務的狀態(tài)
7.1.4 SQL Server 2005中的事務
7.2 并發(fā)控制
7.2.1 并發(fā)操作與數據的不一致性
7.2.2 可串行性
7.2.3 封鎖及封鎖協議
7.2.4 兩段鎖協議
7.2.5 鎖的粒度
7.2.6 事務的隔離級別
7.2.7 SQL Server 2005中的并發(fā)控制
7.3 數據庫恢復技術
7.3.1 恢復的實現技術
7.3.2 數據庫備份和登記日志方法
7.3.3 故障類型及恢復策略
7.3.4 具有檢查點的恢復技術
7.3.5 SQL Server 2005中的數據庫備份與恢復
習題7
第8章 關系數據庫設計理論
8.1 關系模式規(guī)范化設計的必要性
8.2 函數依賴與碼
8.2.1 函數依賴的定義及分類
8.2.2 函數依賴的公理系統和推理規(guī)則
8.2.3 屬性集X關于函數依賴集F的閉包
8.2.4 碼
8.2.5 候選碼的快速求解方法
8.3 關系模式的規(guī)范化
8.3.1 第一范式
8.3.2 第二范式
8.3.3 第三范式
8.3.4 BC范式
8.3.5 規(guī)范化小結
8.4 關系模式的分解
8.4.1 模式分解的概念
8.4.2 分解的無損連接性和函數依賴保持性
8.4.3 模式分解的算法
習題8
第9章 數據庫設計
9.1 數據庫設計概述
9.1.1 數據庫設計在軟件開發(fā)中的地位和作用
9.1.2 數據庫設計的基本步驟
9.2 基于E-R圖的概念結構設計
9.2.1 實體與用戶需求
9.2.2 屬性及其分類
9.2.3 聯系及其分類
9.2.4 弱實體類型
9.2.5 擴展的E-R特性
9.2.6 E-R圖實例
9.2.7 概念結構設計的方法和步驟
9.3 邏輯結構設計
9.3.1 強實體的表示
9.3.2 聯系的表示
9.3.3 弱實體的表示
9.3.4 聚集的表示
9.3.5 邏輯結構設計的步驟
9.4 E-R模型設計問題
9.5 物理結構設計
9.6 數據庫設計實例——學校管理信息系統
9.6.1 系統概述
9.6.2 學籍管理子系統的需求與概念設計
9.6.3 行政管理子系統的需求與概念設計
9.6.4 課表制定子系統的需求與概念設計
9.6.5 子系統視圖的集成
9.6.6 邏輯結構設計
習題9
附錄A 實驗指導
實驗1 創(chuàng)建和管理數據庫和數據表
實驗2 實現數據完整性
實驗3 查詢數據
實驗4 視圖的定義與使用
實驗5 數據庫安全技術
實驗6 存儲過程與觸發(fā)器
實驗7 并發(fā)控制
實驗8 數據庫恢復技術
實驗9 索引與查詢優(yōu)化
實驗10 導入導出及數據庫的分離與附加
參考文獻