-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
數據庫系統基礎教程 (原書第3版) 版權信息
- ISBN:9787111268284
- 條形碼:9787111268284 ; 978-7-111-26828-4
- 裝幀:一般膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
數據庫系統基礎教程 (原書第3版) 內容簡介
本書由斯坦福大學知名計算機科學家Jeffrey Ullman和Jennifer Widom合作編寫。本書分兩大部分,首先是流行的關系數據庫和關系對象數據庫內容,介紹了關系數據模型、E/R模型、UML模型以及對象模型等不錯數據模型。然后介紹了有關半結構化數據組織管理中比較流行的XML等內容,既包括了數據組織模型的內容,也給出了相關編程語言,如XPATH、XQuery、XSLT等。
數據庫系統基礎教程 (原書第3版) 目錄
譯者序
前言
第1章 數據庫系統世界 1
1.1 數據庫系統的發展 1
1.1.1 早期的數據庫管理系統 1
1.1.2 關系數據庫系統 2
1.1.3 越來越小的系統 2
1.1.4 越來越大的系統 2
1.1.5 信息集成 3
1.2 數據庫管理系統概述 3
1.2.1 數據定義語言命令 3
1.2.2 查詢處理概述 4
1.2.3 存儲器和緩沖區管理器 5
1.2.4 事務處理 5
1.2.5 查詢處理器 6
1.3 本書概述 6
1.4 參考文獻 7
**部分 關系數據庫模型
第2章 關系數據模型 9
2.1 數據模型概述 9
2.1.1 什么是數據模型 9
2.1.2 一些重要的數據模型 9
2.1.3 關系模型簡介 10
2.1.4 半結構化模型簡介 10
2.1.5 其他數據模型 11
2.1.6 幾種建模方法的比較 11
2.2 關系模型基礎 12
2.2.1 屬性 12
2.2.2 模式 12
2.2.3 元組 12
2.2.4 域 12
2.2.5 關系的等價描述 13
2.2.6 關系實例 13
2.2.7 關系上的鍵 13
2.2.8 數據庫模式示例 14
2.2.9 習題 15
2.3 在SQL中定義關系模式 16
2.3.1 SQL中的關系 16
2.3.2 數據類型 16
2.3.3 簡單的表定義 17
2.3.4 修改關系模式 18
2.3.5 默認值 18
2.3.6 鍵的聲明 19
2.3.7 習題 20
2.4 代數查詢語言 21
2.4.1 為什么需要一種專門的查詢語言 21
2.4.2 什么是代數 21
2.4.3 關系代數概述 21
2.4.4 關系上的集合操作 21
2.4.5 投影 23
2.4.6 選擇 23
2.4.7 笛卡兒積 24
2.4.8 自然連接 24
2.4.9 q連接 25
2.4.10 組合操作構成查詢 26
2.4.11 命名和重命名 27
2.4.12 操作之間的聯系 27
2.4.13 代數表達式的線性符號 28
2.4.14 習題 29
2.5 關系上的約束 32
2.5.1 作為約束語言的關系代數 32
2.5.2 引用完整性約束 33
2.5.3 鍵約束 33
2.5.4 其他約束舉例 34
2.5.5 習題 35
2.6 小結 35
2.7 參考文獻 36
第3章 關系數據庫設計理論 37
3.1 函數依賴 37
3.1.1 函數依賴的定義 37
3.1.2 關系的鍵 38
3.1.3 超鍵 39
3.1.4 習題 40
3.2 函數依賴的規則 40
3.2.1 函數依賴的推導 40
3.2.2 分解/結合規則 40
3.2.3 平凡函數依賴 41
3.2.4 計算屬性的閉包 42
3.2.5 閉包算法為何有效 43
3.2.6 傳遞規則 44
3.2.7 函數依賴的閉包集合 45
3.2.8 投影函數依賴 45
3.2.9 習題 47
3.3 關系數據庫模式設計 48
3.3.1 異常 48
3.3.2 分解關系 49
3.3.3 Boyce-Codd范式 50
3.3.4 分解為BCNF 50
3.3.5 習題 52
3.4 分解的優劣 53
3.4.1 從分解中恢復信息 53
3.4.2 無損連接的chase檢驗 55
3.4.3 為什么chase檢驗有效 56
3.4.4 依賴的保持 57
3.4.5 習題 58
3.5 第三范式 58
3.5.1 第三范式的定義 59
3.5.2 3NF模式綜合算法 59
3.5.3 為什么3NF綜合算法有效 60
3.5.4 習題 60
3.6 多值依賴 61
3.6.1 屬性獨立及隨之產生的冗余 61
3.6.2 多值依賴的定義 61
3.6.3 多值依賴的推導 62
3.6.4 第四范式 64
3.6.5 分解為第四范式 64
3.6.6 范式間的聯系 65
3.6.7 習題 65
3.7 MVD的發現算法 66
3.7.1 閉包和chase 66
3.7.2 將chase擴展到MVD 67
3.7.3 chase為何對MVD有效 69
3.7.4 投影MVD 69
3.7.5 習題 70
3.8 小結 70
3.9 參考文獻 71
第4章 高級數據庫模型 73
4.1 E/R模型 73
4.1.1 實體集 73
4.1.2 屬性 74
4.1.3 聯系 74
4.1.4 實體-聯系圖 74
4.1.5 E/R圖實例 75
4.1.6 二元E/R聯系的多樣性 75
4.1.7 多路聯系 76
4.1.8 聯系中的角色 77
4.1.9 聯系的屬性 78
4.1.10 多路聯系到二元聯系的轉換 79
4.1.11 E/R模型中的子類 80
4.1.12 習題 81
4.2 設計原則 82
4.2.1 忠實性 82
4.2.2 避免冗余 83
4.2.3 簡單性 83
4.2.4 選擇正確的聯系 83
4.2.5 選擇正確的元素種類 84
4.2.6 習題 86
4.3 E/R模型中的約束 87
4.3.1 E/R模型中的鍵 87
4.3.2 E/R模型中鍵的表示 87
4.3.3 引用完整性 88
4.3.4 度約束 89
4.3.5 習題 89
4.4 弱實體集 89
4.4.1 弱實體集的來源 89
4.4.2 弱實體集的要求 90
4.4.3 弱實體集的符號 91
4.4.4 習題 91
4.5 從E/R圖到關系設計 92
4.5.1 實體集到關系的轉化 92
4.5.2 E/R聯系到關系的轉化 92
4.5.3 關系組合 94
4.5.4 處理弱實體集 95
數據庫系統基礎教程 (原書第3版) 作者簡介
Jeffrey D. Ullman 斯坦福大學計算機科學系Stanford W. Ascherman教授,數據庫技術專家。他獨立或與人合作出版了15本著作,發表了170多篇技術論文。他的研究興趣包括數據庫理論、數據庫集成、數據挖掘和利用信息基礎設施進行教育。他是美國國家工程院成員,曾獲得Knuth獎、SIGMOD貢獻獎和Karl V. Karlstrom杰出教育家獎和Edgar f. Codd發明獎。 Jennifer Widom 美國康奈爾大學計算機科學博士,現為斯坦福大學計算機科學與電子工程系教授,研究非傳統的數據管理。她是ACM會士、Guggenheim會士和美國國家工程院成員,并且是多個編輯委員會、程序委員會和顧問委員會的成員。她在2007年獲得了ACM SIGMOD Edgar F. Codd發明獎。
- >
朝聞道
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
月亮虎
- >
莉莉和章魚
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
苦雨齋序跋文-周作人自編集
- >
回憶愛瑪儂
- >
唐代進士錄