數據庫原理及應用

第1章 數據庫系統(tǒng)概論
1.1 信息、數據和數據庫
1.1.1 信息、數據和數據管理
1.1.2 數據管理技術及其發(fā)展
1.2 數據抽象
1.2.1 數據模型
1.2.2 概念模型
1.2.3 邏輯模型及其要素
1.2.4 外部模型
1.2.5 內部模型
1.3 數據庫管理系統(tǒng)（DBMS)
1.3.1 DBMS的基本概念
1.3.2 DBMS的組成和各部分功能
1.3.3 DBMS的工作過程
1.3.4 DBMS的主要功能
1.4 數據庫系統(tǒng)（DBS)
1.4.1 DBS的概念
1.4.2 DBS的組成
1.4.3 DBS的三級模式結構
1.4.4 DBS的數據獨立性
1.4.5 DBS的全局結構
1.4.6 DBS的體系結構分類
1.5 數據庫系統(tǒng)設計
1.5.1 DBS設計的基本任務
1.5.2 DBS設計的特點
1.5.3 DBS的設計過程
1.6 小結
1.7 習題
第2章 DBS需求分析和概念設計
2.1 需求分析
2.1.1 需求分析的任務和方法
2.1.2 數據流圖
2.1.3 數據字典
2.2 概念結構設計
2.2.1 概念結構設計的任務和方法
2.2.2 概念結構設計的步驟
2.3 E-R圖設計
2.3.1 E-R模型中的數據描述
2.3.2 E-R圖的圖元
2.3.3 E-R圖的設計原則
2.3.4 局部E-R圖之間的三種沖突
2.3.5 E-R圖的設計步驟
2.4 小結
2.5 習題
第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.3 關系代數
3.3.1 關系代數的基本運算
3.3.2 關系代數的組合運算
3.3.3 關系代數的擴展運算
3.3.3.1 關系的外連接和半連接
3.3.3.2 關系的改名、賦值、外部并、廣義投影和聚集運算
3.3.4 關系代數的安全性
3.3.5 關系代數表達式的優(yōu)化
3.3.5.1 關系代數表達式的優(yōu)化問題
3.3.5.2 關系代數表達式的等價變換規(guī)則
3.3.5.3 關系代數表達式的優(yōu)化策略
3.4 關系演算
3.4.1 元組關系演算
3.4.2 域關系演算*
3.4.3 安全關系演算與關系代數的等價性
3.5 關系邏輯*
3.5.1 關系邏輯的要素
3.5.2 關系邏輯規(guī)則的安全性
3.5.3 從關系代數到關系邏輯的轉換
3.5.4 遞歸過程
3.6 小結
3.7 習題
第4章 關系規(guī)范化理論和DBS邏輯設計
4.1 函數依賴
4.1.1 函數依賴的定義
4.1.2 armstrong公理系統(tǒng)與函數依賴推理規(guī)則
4.1.3 函數依賴集的正則閉包
4.1.4 屬性集關于函數依賴集的閉包
4.1.5 部分函數依賴和傳遞函數依賴
4.1.6 鍵碼
4.1.7 極小函數依賴集與正則覆蓋
4.2 多值依賴
4.2.1 多值依賴的定義與基本性質
4.2.2 多值依賴推理規(guī)則
4.2.3 多值依賴與函數依賴的主要區(qū)別和共同點
4.3 關系模式的規(guī)范化
4.3.1 數據冗余和操作異常
4.3.2 消除不良數據依賴的主要途徑——關系模式分解
4.3.3 對關系模式分解的要求
4.3.3.1 保持函數依賴的分解
4.3.3.2 無損連接分解
4.3.3.3 對關系模式分解的要求
4.3.4 關系模式的范式
4.4 第一范式
4.4.1 第一范式的定義
4.4.2 第一范式的缺點
4.5 基于消除不良函數依賴的范式
4.5.1 第二范式
4.5.2 第三范式
4.5.2.1 第三范式的定義和性質
4.5.2.2 第三范式的函數依賴特性
4.5.2.3 第三范式的缺點
4.5.3 BC范式
4.5.3.1 BC范式的定義
4.5.3.2 BC范式的函數依賴特性
4.5.3.3 BC范式的缺點
4.5.4 關于傳遞函數依賴定義的討論
4.6 第三范式和BC范式的有關算法
4.6.1 第三范式的有關算法
4.6.1.1 3NF的判定算法
4.6.1.2 關系模式分解成3NF的算法
4.6.2 關系模式分解成BCNF的算法
4.7 基于消除不良多值依賴的范式——第四范式（4NF)
4.7.1 第四范式的概念
4.7.2 關系模式分解成4NF的算法
4.8 基于消除不良連接依賴的范式——第五范式（5NF)
4.9 各范式間的關系
4.10 數據庫的邏輯結構設計
4.10.1 邏輯結構設計中的數據描述
4.10.2 邏輯結構設計的任務
4.10.3 E-R圖向關系數據庫模型的轉換
4.10.4 關系數據庫模型的優(yōu)化
4.10.5 關系數據庫模型的外模式設計
4.11 小結
4.12 習題
第5章 關系數據庫結構化查詢語言SQL
5.1 SQL概述
5.1.1 SQL的產生與發(fā)展
5.1.2 SQL的組成和特點
5.1.3 SQL的數據類型、運算符、表達式、標識符、通配符和函數
5.1.3.1 SQL的數據類型
5.1.3.2 SQL的運算符和表達式
5.1.3.3 SQL的標識符和通配符
5.1.3.4 SQL的常用函數
5.1.4 SQL實現的數據完整性約束
5.2 SQL的局部變量和流程控制
5.2.1 SQL的局部變量、begin…end語句塊和print語句
5.2.2 SQL的if…else語句
5.2.3 SQL的case語句
5.2.4 SQL的while循環(huán)語句
5.2.5 SQL的goto語句和return語句
5.3 SQL的數據定義——create、alter、drop語句
5.3.1 create語句
5.3.1.1 創(chuàng)建空數據庫和基本表
5.3.1.2 創(chuàng)建索引
5.3.2 alter語句
5.3.3 drop語句
5.4 SQL的數據查詢——SELECT語句
5.4.1 SELECT語句的一般形式和執(zhí)行過程
5.4.2 單表查詢
5.4.3 連接查詢
5.4.4 聯合查詢——實現并運算的查詢
5.4.5 嵌套查詢——相關子查詢和不相關子查詢
5.4.6 將查詢結果直接組織成新基本表
5.5 SQL的數據修改——INSERT、DELETE、UPDATE語句
5.5.1 INSERT語句
5.5.2 DELETE語句
5.5.3 UPDATE語句
5.6 SQL的視圖
5.6.1 視圖的創(chuàng)建和查詢
5.6.2 修改視圖定義
5.6.3 修改視圖數據
5.7 嵌入式SQL
5.7.1 ESQL的使用規(guī)定
5.7.2 ESQL/C的使用方法
5.8 用戶自定義函數
5.8.1 標量函數
5.8.2 內嵌表值函數
5.8.3 多語句表值函數*
5.9 用戶自定義存儲過程
5.9.1 隨機調用的存儲過程
5.9.2 觸發(fā)器*
5.10 小結
5.11 習題
第6章 DBS物理設計和實現、運行與維護
6.1 數據庫的存儲結構
6.1.1 數據庫文件的組織
6.1.2 數據庫文件的結構
6.1.3 數據庫訪問技術
6.2 DBS的物理結構設計
6.3 DBS的實現
6.4 DBS的運行與維護
6.5 小結
6.6 習題
第7章 DBMS的事務管理和安全性控制
7.1 事務
7.1.1 事務的概念
7.1.2 事務的acid性質
7.2 DBMS對事務的并發(fā)控制
7.2.1 事務并發(fā)執(zhí)行可能帶來的問題
7.2.2 封鎖技術
7.2.3 活鎖與死鎖
7.2.4 兩段鎖協(xié)議
7.3 DBS的安全性
7.3.1 安全性級別
7.3.2 權限控制
7.3.3 計算機病毒、木馬和流氓軟件的防護
7.4 數據庫的恢復技術
7.4.1 DBS故障分類和恢復策略
7.4.2 檢查點
7.4.3 數據庫鏡像
7.5 小結
7.6 習題
第8章 數據庫系統(tǒng)新技術簡介
8.1 數據庫訪問接口技術
8.1.1 ODBC
8.1.2 OLE DB
8.1.3 ADO
8.1.4 JDBC
8.1.5 ADO.NET
8.2 對象數據庫系統(tǒng)
8.3 并行數據庫系統(tǒng)
8.4 分布式數據庫系統(tǒng)
8.4.1 分布式數據庫系統(tǒng)的定義、特點和分類
8.4.2 分布式數據存儲
8.4.3 DDBS的分布透明性
8.4.4 DDBMS的功能和組成
8.5 現代信息集成技術
8.5.1 數據倉庫技術
8.5.2 聯機分析處理技術
8.5.3 數據挖掘技術
8.6 xml技術
8.7 小結
8.8 習題
實驗教學參考計劃
實驗1 SQL的數據定義語句
實驗2 SELECT語句單表查詢
實驗3 SELECT語句連接查詢和聯合查詢
實驗4 SELECT語句嵌套查詢
實驗5 INSERT語句、DELETE語句和UPDATE語句
實驗6 SQL的視圖
實驗7 嵌入式SQL
實驗8 SQL的自定義函數
實驗9 SQL的用戶自定義存儲過程
實驗10 ODBC應用程序
實驗11 ASP網頁
參考文獻