數(shù)據(jù)庫系統(tǒng)基礎教程

第1章 數(shù)據(jù)庫系統(tǒng)的世界                  
 1.1 數(shù)據(jù)庫系統(tǒng)的發(fā)展                  
 1.1.1 早期的數(shù)據(jù)庫管理系統(tǒng)                  
 1.1.2 關系數(shù)據(jù)庫系統(tǒng)                  
 1.1.3 越來越小的系統(tǒng)                  
 1.1.4 越來越大的系統(tǒng)                  
 1.2 數(shù)據(jù)庫管理系統(tǒng)的結構                  
 1.2.1 DBMS的組成概述                  
 1.2.2 存儲管理程序                  
 1.2.3 查詢處理程序                  
 1.2.4 事務管理程序                  
 1.2.5 客戶程序服務程序體系結構                  
 1.3 未來的數(shù)據(jù)庫系統(tǒng)                  
 1.3.1 類型. 類和對象                  
 1.3.2 約束和觸發(fā)程序                  
 1.3.3 多媒體數(shù)據(jù)                  
 1.3.4 數(shù)據(jù)集成                  
 1.5 本書概要                  
 1.6 本章參考文獻                  
                   
 第2章 數(shù)據(jù)庫建模                  
 2.1 ODL介紹                  
 2.1.1 面向?qū)ο蟮脑O計                  
 2.1.2 接口說明                  
 2.1.3 ODL中的屬性                  
 2.1.4 ODL中的聯(lián)系                  
 2.1.5 反向聯(lián)系                  
 2.1.6 聯(lián)系的多重性                  
 2.1.7 ODL中的類型                  
 2.1.8 本節(jié)練習                  
 2.2 實現(xiàn)聯(lián)系圖                  
 2.2.1 E/R聯(lián)系的多重性                  
 2.2.2 聯(lián)系的多向性                  
 2.2.3 聯(lián)系中的角色                  
 2.2.4 把多向聯(lián)系轉(zhuǎn)換成二元聯(lián)系                  
 2.2.5 本節(jié)練習                  
 2.2.6 本節(jié)練習                  
 2.3 設計原則                  
 2.3.1 真實性                  
 2.3.2 避免冗余                  
 2.3.3 對簡單笥的考慮                  
 2.3.4 選擇合適的元素類型                  
 2.3.5 本節(jié)練習                  
 2.4 子類                  
 2.4.1 ODL中的子類                  
 2.4.2 在ODL聽多重繼承                  
 2.4.3 實體聯(lián)系圖中的子類                  
 2.4.4 E/R模型中的繼承                  
 2.4.5 本節(jié)練習                  
 2.5 對約束的建模                  
 2.5.1 鍵碼                  
 2.5.2 在ODL中說明鍵碼                  
 2.5.3 在E/R模型中表示鍵碼                  
 2.5.4 單值約束                  
 2.5.5 參照完整性                  
 2.5.6 E/R圖中的參照完整性                  
 2.5.7 其他類型的約束                  
 2.5.8 本節(jié)練習                  
 2.6 弱實體集                  
 2.6.1 產(chǎn)生弱實體集的原因                  
 2.6.2 對弱實體集的要求                  
 2.6.3 弱實體集的表示法                  
 2.6.4 本節(jié)練習                  
 2.7 歷史上有影響的模型                  
 2.7.1 網(wǎng)狀模型                  
 2.7.2 網(wǎng)狀模型的表示                  
 2.7.3 層次模型                  
 2.7.4 本節(jié)練習                  
 2.8 本章總結                  
 2.9 本章參考文獻                  
                   
 第3章 關系數(shù)據(jù)模型                  
 3.1 關系模型的基本概念                  
 3.1.1 屬性                  
 3.1.2 模式                  
 3.1.3 元組                  
 3.1.4 域                  
 3.1.5 關系的等價表示法                  
 3.1.6 關系實例                  
 3.1.7 本節(jié)練習                  
 3.2 從ODL設計到關系設計                  
 3.2.1 從ODL屬性到關系屬性                  
 3.2.2 類中的非原子屬性                  
 3.2.3 其他類型構造符的表示                  
 3.2.4 單值聯(lián)系的表示                  
 3.2.5 多值聯(lián)系的表示                  
 3.2.6 假如沒有鍵碼                  
 3.2.7 聯(lián)系與反向聯(lián)系的表示                  
 3.2.8 本節(jié)練習                  
 3.3 從E/R圖到關系的設計                  
 3.3.1 實體集到關系的轉(zhuǎn)換                  
 3.3.2 E/R聯(lián)系到關系的轉(zhuǎn)換                  
 3.3.3 處理弱實體集                  
 3.3.4 本節(jié)練習                  
 3.4 子類結構到關系的轉(zhuǎn)換                  
 3.4.1 用關系表示ODL子類                  
 3.4.2 在關系模型中表示“屬于”聯(lián)系                  
 3.4.3 方法的比較                  
 3.4.4 使用NULL值合并關系                  
 3.4.5 本節(jié)練習                  
 3.5 函數(shù)依賴                  
 3.5.1 函數(shù)依賴的定義                  
 3.5.2 關系的鍵碼                  
 3.5.3 尋找關系的鍵碼                  
 3.5.4 超鍵碼                  
 3.5.5 尋找關系的鍵碼                  
 3.5.6 由ODL設計導出的關系的鍵碼                  
 3.6 本節(jié)練習                  
 3.6.1 分解/合并規(guī)則                  
 3.6.2 平凡依賴                  
 3.6.3 計算屬性的閉包                  
 3.6.4 傳遞規(guī)則                  
 3.6.5 函數(shù)依賴的閉包                  
 3.6.6 本節(jié)練習                  
 3.7 關系數(shù)據(jù)庫模式設計                  
 3.7.1 異常                  
 3.7.2 關系分解                  
 3.7.3 BC范式                  
 3.7.4 分解成BCNF                  
 3.7.5 函數(shù)依賴的投影                  
 3.7.6 從分解中恢復信息                  
 3.7.7 第三范式                  
 3.7.8 本節(jié)練習                  
 3.8 多值依賴                  
 3.8.1 屬性的獨立性及其帶來的冗余                  
 3.8.2 多值依賴的定義                  
 3.8.3 多值依賴的推論                  
 3.8.4 第四范式                  
 3.8.5 分解成第四范式                  
 3.8.6 范式間的聯(lián)系                  
 3.8.7 本節(jié)練習                  
 3.9 數(shù)據(jù)庫模式實例                  
 3.10 本章總結                  
 3.11 本章參考文獻                  
                   
 第4章 關系模型中的運算                  
 4.1 關系代數(shù)                  
 4.1.1 關系的集合運算                  
 4.1.2 投影                  
 4.1.3 選擇                  
 4.1.4 笛卡爾積                  
 4.1.5 自然連接                  
 4.1.6 連接                  
 4.1.7 查詢中的復合運算                  
 4.1.8 改名                  
 4.1.9 基本和導出運算                  
 4.1.10 本節(jié)練習                  
 4.2 關系的邏輯                  
 4.2.1 謂詞和原子                  
 4.2.2 算術原子                  
 4.2.3 Datalog規(guī)則和查詢                  
 4.2.4 Datalog 規(guī)則的含義                  
 4.2.5 外延和內(nèi)涵謂詞                  
 4.2.6 本節(jié)練習                  
 4.3 從關系代數(shù)的Datalog                  
 4.3.1 交集                  
 4.3.2 并集                  
 4.3.3 差集                  
 4.3.4 投影                  
 4.3.5 選擇                  
 4.3.6 乘積                  
 4.3.7 連接                  
 4.3.8 用Datalog模擬多重運算                  
 4.3.9 本節(jié)練習                  
 4.4 Datalog中的遞歸編程                  
 4.4.1 固定點運算符                  
 4.4.2 計算最小固定點                  
 4.4.3 Datalog中的固定點公式                  
 4.4.4 遞歸規(guī)則中的求反                  
 4.4.5 本節(jié)練習                  
 4.5 對關系的約束                  
 4.5.1 用關系代數(shù)作為約束語言                  
 4.5.2 參照完整性約束                  
 4.5.3 附加約束的例子                  
 4.5.4 本節(jié)練習                  
 4.6 包的關系運算                  
 4.6.1 為什么用包？                  
 4.6.2 飯并集. 交集和差集                  
 4.6.3 包的投影                  
 4.6.4 包的選擇                  
 4.6.5 包的乘積                  
 4.6.6 包的連接                  
 4.6.7 包的運算用于Datalog規(guī)則                  
 4.6.8 本節(jié)練習                  
 4.7 關系模型的其他外延                  
 4.7.1 更新                  
 4.7.2 聚合                  
 4.7.3 視圖                  
 4.7.4 空值                  
 4.8 本章總結                  
 4.9 本章參考文獻                  
                   
 第5章 數(shù)據(jù)庫語言SQL                  
 5.1 SQL的簡單查詢                  
 5.1.1 SQL的投影                  
 5.1.2 SQL的選擇                  
 5.1.3 字符串的比較                  
 5.1.4 日期和時間的比較                  
 5.1.5 輸出的排序                  
 5.1.6 本節(jié)練習                  
 5.2 涉及多個關系的查詢                  
 5.2.1 SQL中的乘積和連接                  
 5.2.2 消除屬性的二義性                  
 5.2.3 元組變量                  
 5.2.4 多關系查詢的解釋                  
 5.2.5 查詢的并. 交. 差                  
 5.2.6 本節(jié)練習                  
 5.3 了查詢                  
 5.3.1 產(chǎn)生標量值勤的子查詢                  
 5.3.2 涉及到關系的條件                  
 5.3.3 涉及到元組的條件                  
 5.3.4 相關子查詢                  
 5.3.5 本節(jié)練習                  
 5.4 副本                  
 5.4.1 副本的刪除                  
 5.4.2 并. 交. 差中的副本                  
 5.4.3 本節(jié)練習                  
 5.5 數(shù)據(jù)庫更新                  
 5.5.1 插入                  
 5.5.2 刪除                  
 5.5.3 修改                  
 5.5.4 本節(jié)練習                  
 5.6 用SQL定義關系模式                  
 5.6.1 插入                  
 5.6.2 刪除                  
 5.6.3 修改                  
 5.6.4 本節(jié)練習                  
 5.7 用SQL定義關系模式                  
 5.7.1 數(shù)據(jù)類型                  
 5.7.2 簡單表的說明                  
 5.7.3 刪除表                  
 5.7.4 更改關系模式                  
 5.7.5 默認值                  
 5.7.6 域                  
 5.7.7 索引                  
 5.7.8 本節(jié)練習                  
 5.8 視圖的定義                  
 5.8.1 視圖的說明                  
 5.8.2 視圖的查詢                  
 5.8.3 屬性改名                  
 5.8.4 視圖的更新                  
 5.8.5 對涉及到視圖的查詢的解釋                  
 5.8.6 本節(jié)練習                  
 5.9 空值和外部連接                  
 5.9.1 對空值的運算                  
 5.9.1 真值UNKNOWN                  
 5.9.2 SQL 2中的連接表達式                  
 5.9.3 自然連接                  
 5.9.4 自然連接                  
 5.9.5 外部連接                  
 5.9.6 本節(jié)練習                  
 5.10 SQL 3中的遞歸                  
 5.10.1 在SQL3中定義IDB關系                  
 5.10.2 線性遞歸                  
 5.10.3 在WITH語句中的使用視圖                  
 5.10.4 分層求反                  
 5.10.5 SQL 3遞歸中的未定表達式                  
 5.10.6 本節(jié)練習                  
 5.11 本章總結                  
 5.12 本章參考文獻                  
                   
 第6章 SQL中的約束和觸發(fā)程序                  
 6.1 SQL中的鍵碼                  
 6.1.1 說明鍵碼                  
 6.1.2 實施鍵碼約束                  
 6.1.3 本節(jié)練習                  
 6.2 參照完整性和外鍵碼                  
 6.2.1 說明外鍵碼約束                  
 6.2.2 保持參照完整性                  
 6.2.3 本節(jié)練習                  
 6.3 對屬性值的約束                  
 6.3.1 非空約束                  
 6.3.2 基于屬性的CHECK約束                  
 6.3.3 域約束                  
 6.3.4 本節(jié)練習                  
 6.4 全局約束                  
 6.4.1 基于元組的CHECK約束                  
 6.4.2 斷言                  
 6.4.3 本節(jié)練習                  
 6.5 約束的更新                  
 6.5.1 對約束命名                  
 6.5.2 更改表的約束                  
 6.5.3 更改域的約束                  
 6.5.4 更必斷言                  
 6.5.5 本節(jié)練習                  
 6.6 SQL3中的觸發(fā)程序                  
 6.6.1 觸發(fā)和約束                  
 6.6.2 SQL3觸發(fā)程序                  
 6.6.3 SQL3的斷言                  
 6.6.4 本節(jié)練習                  
 6.7 本章總結                  
 6.8 本章參考文獻                  
                   
 第7章 SQL系統(tǒng)概況                  
 7.1 編程環(huán)境中的SQL                  
 7.1.1 匹配失衡問題                  
 7.1.2 SQL/宿主語言接口                  
 7.1.3 說明（DECLARE段）                  
 7.1.4 使用共享變量                  
 7.1.5 單行查詢語句                  
 7.1.6 游標                  
 7.1.7 通過游標的更新                  
 7.1.8 游標選項                  
 7.1.9 為取出的元組排序                  
 7.1.10 防止并發(fā)更新的保護措施                  
 7.1.11 滾動游標                  
 7.1.12 動態(tài)SQL                  
 7.1.13 本節(jié)練習                  
 7.2 SQL中的事務                  
 7.2.1 可串行性                  
 7.2.2 原子性                  
 7.2.3 事務                  
 7.2.4 只讀事務                  
 7.2.5 讀臟數(shù)據(jù)                  
 7.2.6 其他隔離性級別                  
 7.2.7 本節(jié)練習                  
 7.3 SQL練習                  
 7.3.1 環(huán)境                  
 7.3.2 模式                  
 7.3.3 目錄                  
 7.3.4 SQL環(huán)境中的客戶程序和服務程序                  
 7.3.5 連接                  
 7.3.6 會話                  
 7.3.7 模塊                  
 7.4 SQL2的安全和用戶授權                  
 7.4.1 權限                  
 7.4.2 建立權限                  
 7.4.3 權限檢驗處理                  
 7.4.4 授予權限                  
 7.4.5 授權圖                  
 7.4.6 取消權限                  
 7.4.7 本節(jié)練習                  
 7.5 本章總結                  
 7.6 本章參考文獻                  
                   
 第8章 面向?qū)ο蟛樵冋Z言                  
 8.1 ODL中相關查詢的特點                  
 8.1.1 ODL對象的操作                  
 8.1.2 ODL中方法署名的說明                  
 8.1.3 類的范圍                  
 8.1.4 本節(jié)練習                  
 8.2 OQL介紹                  
 8.2.1 面向?qū)ο蟮碾娪皩嵗?nbsp;                 
 8.2.2 OQL類型系統(tǒng)                  
 8.2.3 路徑表達式                  
 8.2.4 OQL中的select-from-where表達式                  
 8.2.5 消除重復                  
 8.2.6 復雜的輸出類型                  
 8.2.7 子查詢                  
 8.2.8 對結果排序                  
 8.2.9 本節(jié)練習                  
 8.3 OQL表達式的附加格式                  
 8.3.1 量詞表達式                  
 8.3.2 聚合表達式                  
 8.3.3 分組表達式                  
 8.3.4 HAVING子句                  
 8.3.5 集合運算符                  
 8.3.6 本節(jié)練習                  
 8.4 OQL中對象的賦值和建立                  
 8.4.1 對宿主語言變量賦值                  
 8.4.2 從聚集中提取元素                  
 8.4.3 獲取聚集的每個成員                  
 8.4.4 建立新對象                  
 8.4.5 本節(jié)練習                  
 8.5 SQL3中的元組對象                  
 8.5.1 行類型                  
 8.5.2 說明具有行類型的關系                  
 8.5.3 訪問行類型的分量                  
 8.5.4 引用                  
 8.5.5 利用引用                  
 8.5.6 引用的作用域                  
 8.5.7 作用值的對象標識                  
 8.5.8 本節(jié)練習                  
 8.6 SQL3的抽象數(shù)據(jù)類型                  
 8.6.1 ADT的定義                  
 8.6.2 ADT方法的定義                  
 8.6.3 外部函數(shù)                  
 8.6.4 本節(jié)練習                  
 8.7 ODL/OQL和SQL3的方法的比較                  
 8.8 本章總結                  
 8.9 本章參考文獻