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