《21世紀高等學校規劃教材·計算機科學與技術:資料庫原理及套用》是作者多年教學經驗和研究成果的結晶,系統地研究和介紹了資料庫系統的基本原理、方法和發展現狀,用總篇幅的三分之二重點研究了關係資料庫的基本理論、規範化理論和SQL語言。全書分為8章:資料庫系統概論,DBS需求分析和概念設計,關係資料庫基本理論,關係規範化理論和DBS邏輯設計,關係資料庫結構化查詢語言SQL,DBS物理設計和實現、運行與維護,DBMS的事務管理和安全性控制,資料庫系統新技術簡介。在《資料庫原理及套用》最後提供了11個教學實驗,供參考。
基本介紹
- 中文名:21世紀高等學校規劃教材•計算機科學與技術:資料庫原理及套用
- 出版社:清華大學出版社
- 頁數:207頁
- 開本:16
- 定價:23.00
- 作者:周煒
- 出版日期:2011年9月1日
- 語種:簡體中文
- ISBN:9787302261537
- 品牌:清華大學出版社
內容簡介
圖書目錄
1.1 信息、數據和資料庫
1.1.1 信息、數據和數據管理
1.1.2 數據管理技術及其發展
1.2 數據抽象
1.2.1 數據模型
1.2.2 概念模型
1.2.3 邏輯模型及其要素
1.2.4 外部模型
1.2.5 內部模型
1.3 資料庫管理系統(DBMS)
1.3.1 DBMS的基本概念
1.3.2 DBMS的組成和各部分功能
1.3.3 DBMS的工作過程
1.3.4 DBMS的主要功能
1.4 資料庫系統(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 資料庫系統設計
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 關係代數表達式的最佳化
3.3.5.1 關係代數表達式的最佳化問題
3.3.5.2 關係代數表達式的等價變換規則
3.3.5.3 關係代數表達式的最佳化策略
3.4 關係演算
3.4.1 元組關係演算
3.4.2 域關係演算*
3.4.3 安全關係演算與關係代數的等價性
3.5 關係邏輯*
3.5.1 關係邏輯的要素
3.5.2 關係邏輯規則的安全性
3.5.3 從關係代數到關係邏輯的轉換
3.5.4 遞歸過程
3.6 小結
3.7 習題
第4章 關係規範化理論和DBS邏輯設計
4.1 函式依賴
4.1.1 函式依賴的定義
4.1.2 Armstrong公理系統與函式依賴推理規則
4.1.3 函式依賴集的正則閉包
4.1.4 屬性集關於函式依賴集的閉包
4.1.5 部分函式依賴和傳遞函式依賴
4.1.6 鍵碼
4.1.7 極小函式依賴集與正則覆蓋
4.2 多值依賴
4.2.1 多值依賴的定義與基本性質
4.2.2 多值依賴推理規則
4.2.3 多值依賴與函式依賴的主要區別和共同點
4.3 關係模式的規範化
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.13NF的判定算法
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 關係資料庫模型的最佳化
4.10.5 關係資料庫模型的外模式設計
4.11 小結
4.12 習題
第5章 關係資料庫結構化查詢語言SQL
5.1 SQL概述
5.1.1 SQL的產生與發展
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循環語句
5.2.5 SQL的GOTO語句和RETURN語句
5.3 SQL的數據定義——CREATE、ALTER、DROP語句
5.3.1 CREATE語句
5.3.1.1 創建空資料庫和基本表
5.3.1.2 創建索引
5.3.2 ALTER語句
5.3.3 DROP語句
5.4 SQL的數據查詢——SELECT語句
5.4.1 SELECT語句的一般形式和執行過程
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 視圖的創建和查詢
5.6.2 修改視圖定義
5.6.3 修改視圖數據
5.7 嵌入式SQL
5.7.1 ESQL的使用規定
5.7.2 ESQL/C的使用方法
5.8 用戶自定義函式
5.8.1 標量函式
5.8.2 內嵌表值函式
5.8.3 多語句表值函式*
5.9 用戶自定義存儲過程
5.9.1 隨機調用的存儲過程
5.9.2 觸發器*
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對事務的並發控制
7.2.1 事務並發執行可能帶來的問題
7.2.2 封鎖技術
7.2.3 活鎖與死鎖
7.2.4 兩段鎖協定
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章 資料庫系統新技術簡介
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 對象資料庫系統
8.3 並行資料庫系統
8.4 分散式資料庫系統
8.4.1 分散式資料庫系統的定義、特點和分類
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網頁
參考文獻
文摘
插圖:
3.2.3 關係資料庫模型中的數據完整性約束
定義3.10 給定關係模式R(U)和U的非空子集K。如果在R(U)的每一個關係實例中,任何兩個元組的K組屬性值都不完全相同,即如果屬性集合K能夠唯一標識R(U)的每一個關係實例的所有元組,則稱K是關係模式R(U)的一個超鍵碼或超鍵。如果K是關係模式R(U)的一個超鍵碼,而K的任何一個真子集都不是R(U)的超鍵碼,則稱K是關係模式R(U)的一個鍵碼、鍵、碼或候選鍵。每一鍵碼所含有的屬性都稱為主屬性,不在任何一個鍵碼中的屬性稱為非主屬性。
這個定義與定義2.15本質上是一致的。
每一個關係模式R(U)必然有超鍵碼,因為U本身就是一個超鍵碼。在下一章,我們將看到,每一個關係模式都至少有一個鍵碼,有的關係模式還可能有兩個以上鍵碼。
定義3.11 在關係資料庫所實現的關係資料庫模型中,對每一個關係模式在其所有鍵碼中指定一個鍵碼用來唯一標識每一個關係實例的所有元組(即基本表的所有記錄),這個鍵碼稱為該關係模式的主鍵碼,也稱為該基本表的主鍵碼。構成主鍵碼的屬性稱為主鍵屬性。
定義3.12 在一個關係資料庫模型中,如果一個關係模式的一個引用屬性集合對應的目標屬性集合是本關係模式或另一個關係模式的主鍵碼,則稱此引用屬性集合為本關係模式的外鍵碼或外鍵,也稱為對應的基本表的外鍵碼。外鍵碼的目標屬性集合稱為該外鍵碼的目標主鍵。
例3.3 在例3.2的學生選課信息關係資料庫模型中,sNo是學生信息關係模式的主鍵碼;cNo是課程信息關係模式的主鍵碼;{sNo,cNo}是選課信息關係模式的主鍵碼。可以看出,sNo和cNo都是選課信息關係模式的外鍵碼;cPNo是課程信息關係模式的外鍵碼,它的目標屬性是本關係模式的主鍵碼cNo。
數據完整性約束是邏輯數據模型的三大要素之一。
定義3.13關係資料庫模型中的數據完整性是指實現關係資料庫模型的關係資料庫中數據的正確性、一致性和相容性。
數據完整性一般由數據完整性規則來規定。一個關係模式的數據完整性約束是規定該關係模式的所有關係實例的條件,是區別關係實例與非關係實例的標準,也是判別基本表是否正確的標準。
關係資料庫模型中的數據完整性約束有4類:域完整性約束、實體完整性約束、參照完整性約束和用戶定義的完整性約束。