數(shù)據(jù)庫系統(tǒng)原理

第1章 數(shù)據(jù)庫系統(tǒng)概論
1.1 信息、數(shù)據(jù)與數(shù)據(jù)處理
1.1.1 信息與數(shù)據(jù)
1.1.2 數(shù)據(jù)處理
1.2 數(shù)據(jù)庫技術(shù)的產(chǎn)生、發(fā)展與研究領(lǐng)域
1.2.1 數(shù)據(jù)庫技術(shù)的產(chǎn)生與發(fā)展
1.2.2 數(shù)據(jù)庫技術(shù)的研究領(lǐng)域
1.3 數(shù)據(jù)庫系統(tǒng)的組成和結(jié)構(gòu)
1.3.1 數(shù)據(jù)庫系統(tǒng)的組成
1.3.2 數(shù)據(jù)庫系統(tǒng)的結(jié)構(gòu)
1.4 數(shù)據(jù)庫管理系統(tǒng)
1.4.1 DBMS的主要功能
1.4.2 DBMS的組成
1.4.3 DBMS的數(shù)據(jù)存取過程
1.5 數(shù)據(jù)模型
1.5.1 數(shù)據(jù)之間的聯(lián)系
1.5.2 數(shù)據(jù)模型概述
1.5.3 概念數(shù)據(jù)模型
1.5.4 格式化模型
1.5.5 關(guān)系 模型
1.5.6 面向?qū)ο髷?shù)據(jù)模型
1.6 數(shù)據(jù)模型與數(shù)據(jù)庫系統(tǒng)的發(fā)展
1.6.1 第一代數(shù)據(jù)庫系統(tǒng)
1.6.2 第二代數(shù)據(jù)庫系統(tǒng)
1.6.3 第三代數(shù)據(jù)庫系統(tǒng)
小結(jié)
習題
第2章 關(guān)系數(shù)據(jù)庫
2.1 關(guān)系模型概述
2.1.1 關(guān)系模型的基本概念數(shù)據(jù)庫系統(tǒng)原理
2.1.2 笛卡爾積（Cartesian Product）
2.1.3 關(guān)系的定義
2.1.4 關(guān)系的性質(zhì)
2.2 關(guān)系的碼
2.2.1 候選碼與主碼
2.2.2 外部關(guān)系碼
2.2.3 關(guān)系模型的完整性
2.3 關(guān)系數(shù)據(jù)庫模式與關(guān)系數(shù)據(jù)庫
2.3.1 關(guān)系模式和關(guān)系數(shù)據(jù)庫模式
2.3.2 關(guān)系數(shù)據(jù)庫
2.4 關(guān)系代數(shù)
2.4.1 關(guān)系代數(shù)的分類及其運算符
2.4.2 傳統(tǒng)的集合運算
2.4.3 專門的關(guān)系運算
2.5 關(guān)系演算
2.5.1 元組關(guān)系演算
2.5.2 域關(guān)系演算
2.6 關(guān)系代數(shù)表達式的優(yōu)化
2.6.1 關(guān)系代數(shù)表達式的優(yōu)化策略
2.6.2 關(guān)系代數(shù)表達式的等價變換規(guī)則
2.6.3 關(guān)系代數(shù)表達式的優(yōu)化算法
小結(jié)
習題
第3章 關(guān)系數(shù)據(jù)庫標準語言SQL
3.1 SQL語言簡介
3.1.1 SQL發(fā)展歷史與特點
3.1.2 SQL的組成結(jié)構(gòu)
3.2 SQL數(shù)據(jù)定義
3.2.1 數(shù)據(jù)庫模式的定義
3.2.2 基本表的定義
3.2.3 索引的定義
3.3 SQL數(shù)據(jù)查詢
3.3.1 簡單查詢
3.3.2 多表查詢
3.3.3 聚合和分組
3.3.4 子查詢
3.3.5 遞歸查詢
3.4 SQL數(shù)據(jù)操縱
3.4.1 插入數(shù)據(jù)
3.4.2 修改數(shù)據(jù)
3.4.3 刪除數(shù)據(jù)
3.5 SQL數(shù)據(jù)控制
3.5.1 數(shù)據(jù)控制的方法
3.5.2 權(quán)限的授予與收回
3.6 視圖
3.6.1 視圖的定義
3.6.2 視圖的查詢
3.6.3 視圖的更新
3.7 嵌入式SQL語句
3.7.1 嵌入式SQL的運行環(huán)境
3.7.2 嵌入式SQL的規(guī)定
3.7.3 嵌入式SQL的使用
3.7.4 動態(tài)SQL語句
小結(jié)
習題
第4章 關(guān)系數(shù)據(jù)庫管理系統(tǒng)實例：Microsoft SQL Server
4.1 SQL Server2000概述
4.1.1 SQL Server2000軟件架構(gòu)
4.1.2 SQL Server數(shù)據(jù)庫結(jié)構(gòu)
4.2 Transact-SQL程序設計
4.2.1 注釋符與運算符
4.2.2 變量
4.2.3 流程控制語句
4.2.4 常用命令
4.2.5 函數(shù)
4.3 SQLServer工具
小結(jié)
習題
第5章 關(guān)系數(shù)據(jù)庫設計理論
5.1 關(guān)系模式的非形式化設計規(guī)則
5.1.1 關(guān)系屬性的語義
5.1.2 元組中的冗余信息和更新異常
5.1.3 元組中的空值
5.1.4 偽元組的生成
5.2 函數(shù)依賴
5.2.1 函數(shù)依賴的定義
5.2.2 函數(shù)依賴的邏輯蘊涵
5.2.3 函數(shù)依賴的推理規(guī)則
5.2.4 函數(shù)依賴集的等價、覆蓋和最小依賴集
5.3 關(guān)系模式的規(guī)范化
5.3.1 關(guān)系模式的分解
5.3.2 碼
5.3.3 第一范式
5.3.4 第二范式
5.3.5 第三范式
5.3.6 Boyce-Codd范式
5.4 多值依賴與第四范式
5.4.1 多值依賴
5.4.2 第四范式
5.5 連接依賴與第五范式
5.5.1 連接依賴
5.5.2 第五范式
小結(jié)
習題
第6章 數(shù)據(jù)庫存儲結(jié)構(gòu)
6.1 數(shù)據(jù)庫存儲設備
6.2 文件組織
6.2.1 定長記錄
6.2.2 變長記錄
6.3 文件結(jié)構(gòu)
6.3.1 無序文件
6.3.2 有序文件
6.3.3 聚集文件
6.3.4 HASH文件
6.4 索引技術(shù)
6.4.1 線性索引
6.4.2 B樹
6.4.3 B＋樹
小結(jié)
習題
第7章 數(shù)據(jù)庫安全與保護
第8章 數(shù)據(jù)庫設計
第9章 數(shù)據(jù)庫新技術(shù)
參考文獻