掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
數據庫系統基礎教程 版權信息
- ISBN：7302036462
- 條形碼：9787302036463 ; 978-7-302-03646-3
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
數據庫系統基礎教程 內容簡介
本書是由美國斯坦福大學兩位著名的計算機學者Ｊ．Ｄ．Ｕｌｌｍａｎ和Ｊ．Ｗｉｄｏｍ為初學數據庫的人編寫的基本教材。(A First Course in Database Systems)Jeffrey D. Ullman, Jennifer Widom 著 史嘉權 譯面向對象的數據庫技術是近年來數據庫技術發展的重要方向和熱點，目前國內已積極開展在該領域方面的科研工作，但在教材中尚無反映，因此急需有關的教材，而本書正是雪中送炭。本書以當前的主流數據庫——關系數據庫為基礎，以數據庫系統的*基本內容——數據庫的設計與編程為重點，以引進數據庫領域的*新成果——比如面向對象的數據庫技術為特點，系統地闡述了數據庫建模、關系數據庫的理論和設計、結構化查詢語言SQL及其*新的標準SQL2和SQL3，闡述了遞歸查詢等*新內容，特別是以相當多的篇幅闡述了面向對象數據庫的對象定義語言ODL和對象查詢語言OQL。本書的主要特點是新穎、豐富、系統、實用，把數據庫技術的*新成果迅速反映到教材中。
數據庫系統基礎教程數據庫系統基礎教程 前言
本書是從斯坦福大學的“數據庫入門”(CS145)的課程筆記演變而來的。CS145是五門系列課程的**門。后面的四門是： 數據庫系統原理，數據庫系統實現的工程訓練，事務和分布式數據庫，以及數據庫理論。由于Arthur Keller頗有創意的講授，使這門課逐步發展成著重于數據庫的設計和編程的課程，而這兩方面內容對計算機科學專業的大多數學生來說是*有用的。這門課還包括一個內容廣泛、不斷滾動的課外工程項目，供學生設計并實現一個具體的數據庫應用。與該工程項目相關的作業、其他課外作業、測驗以及其他課程資料都可以從本書的主頁上得到；請參閱“萬維網(World Wide Web)上的支持”部分。 本 書 的 使 用 本書適用于講授一學期的課程。如果像CS145這樣按四分之一學年(譯注：每學年分為四學期，這種制度的一學期)的課程來安排，就不得不省略或跳過書中的某些內容。*好由教師自己決定削減哪些內容，但以下內容顯然是可以削減的：有關Datalog的部分，SQL編程的高級部分以及SQL3的細節部分。 如果課程中安排了不斷滾動的工程項目，那么，提早講授SQL語句部分是很重要的。可以推后講授的內容包括：有關Datalog的部分，第5章和第6章的SQL3部分以及第3章的某些理論部分(但是，如果學生們在開始進行SQL編程之前，想設計出優秀的關系模式的話，他們就需要規范化的知識，或許還需要多值依賴的知識)。 預 備 知 識 我們把本書定位于“夾層”水平，即高年級本科生和低年級研究生水平。這門課程正規的預備知識相當于大學二年級的水平：(1) 數據結構、算法和離散數學；(2)軟件系統、軟件工程和編程語言。學生們對以下內容至少要有初步的了解：代數的表達式和定律、邏輯、基本數據結構(如搜索樹)、面向對象的編程概念以及編程環境。我們相信，按照典型的計算機科學專業的教學計劃，到大學三年級結束時，學生們肯定會擁有充分的背景知識。 練習 本書包括多方面的練習，幾乎每節都有。我們把比較難的練習或練習中比較難的部分用驚嘆號(!)標出。*難的練習用雙驚嘆號(!!)標出。 有一些練習或練習的某些部分標有星號(*)。對于這些練習，我們將盡量通過本書的主頁提供解答。這些解答是公開的，并可用于自我檢測。注意：在某些情況下，練習B要求您對另一個練習A的解答進行修改或改進。如果A的某些特定部分有解答，那么B的相應部分也將有解答。 萬維網上的支持 本書的主頁是： http://wwwdb.stanford.edu/～ullman/fcdb.html 這里有帶星號的練習的解答，對已發現的書寫或印刷錯誤的勘誤表以及輔助教材。我們希望每一個像我們一樣講授CS145課程的人都能獲得這些課程筆記，包括課外作業、解答和工程項目的作業。 致謝 特別感謝Bobbie Cochrane和Linda DeMichiel，感謝他們在SQL3標準方面給予的幫助。還有其他許多人幫助我們審校手稿，他們是：Donald Aingworth，Jonathan Becker，Larry Bonham，Christopher Chan，Oliver Duschka，Greg Fichtenholtz，Bart Fisher，Meredith Goldsmith，Steve Huntsberry，Leonard Jacobson，Thulasiraman Jeyaraman，dwight Joe，Seth Katz，Brian Kulman，LeWei Mo，Mark Mortensen，Ramprakash Narayanaswami，Torbjorn Norbye，Mehul Patel，Catherine Tornabene，Jonathan Ullman，Mayank Upadhyay，Vassilis Vassalos，Qiang Wang，Sundar Yamunachari和Takeshi Yokukawa。當然，剩下的錯誤由我們負責。
數據庫系統基礎教程 目錄
第1章數據庫系統的世界1
1.1數據庫系統的發展1
1.1.1早期的數據庫管理系統1
1.1.2關系數據庫系統3
1.1.3越來越小的系統4
1.1.4越來越大的系統4
1.2數據庫管理系統的結構5
1.2.1DBMS的組成概述5
1.2.2存儲管理程序7
1.2.3查詢處理程序7
1.2.4事務管理程序8
1.2.5客戶程序服務程序體系結構10
1.3未來的數據庫系統10
1.3.1類型、類和對象10
1.3.2約束和觸發程序13
1.3.3多媒體數據13
1.3.4數據集成14
1.4本書概要15
1.4.1設計15
1.4.2編程15
1.5本章總結16
1.6本章參考文獻17
第2章數據庫建模18
2.1ODL介紹18
2.1.1面向對象的設計19
2.1.2接口說明20
2.1.3ODL中的屬性20
2.1.4ODL中的聯系22
2.1.5反向聯系22
2.1.6聯系的多重性24
2.1.7ODL中的類型26
2.1.8本節練習27
2.2實體聯系圖29
2.2.1E/R聯系的多重性30
2.2.2聯系的多向性30
2.2.3聯系中的角色31
2.2.4聯系中的屬性32
2.2.5把多向聯系轉換成二元聯系33
2.2.6本節練習34
2.3設計原則35
2.3.1真實性36
2.3.2避免冗余36
2.3.3對簡單性的考慮36
2.3.4選擇合適的元素類型37
2.3.5本節練習38
2.4子類40
2.4.1ODL中的子類40
2.4.2在ODL中的多重繼承40
2.4.3實體聯系圖中的子類42
2.4.4E/R模型中的繼承42
2.4.5本節練習43
2.5對約束的建模44
2.5.1鍵碼45
2.5.2在ODL中說明鍵碼46
2.5.3在E/R模型中表示鍵碼47
2.5.4單值約束47
2.5.5參照完整性48
2.5.6E/R圖中的參照完整性48
2.5.7其他類型的約束49
2.5.8本節練習49
2.6弱實體集50
2.6.1產生弱實體集的原因50
2.6.2對弱實體集的要求52
2.6.3弱實體集的表示法52
2.6.4本節練習53
2.7歷史上有影響的模型53
2.7.1網狀模型53
2.7.2網狀模式的表示54
2.7.3層次模型55
2.7.4本節練習56
2.8本章總結56
2.9本章參考文獻57
第3章關系數據模型58
3.1關系模型的基本概念58
3.1.1屬性59
3.1.2模式59
3.1.3元組59
3.1.4域60
3.1.5關系的等價表示法60
3.1.6關系實例61
3.1.7本節練習62
3.2從ODL設計到關系設計62
3.2.1從ODL屬性到關系屬性63
3.2.2類中的非原子屬性63
3.2.3其他類型構造符的表示66
3.2.4單值聯系的表示67
3.2.5多值聯系的表示68
3.2.6假如沒有鍵碼69
3.2.7聯系與反向聯系的表示70
3.2.8本節練習71
3.3從E/R圖到關系的設計72
3.3.1實體集到關系的轉換72
3.3.2E/R聯系到關系的轉換73
3.3.3處理弱實體集75
3.3.4本節練習77
3.4子類結構到關系的轉換78
3.4.1用關系表示ODL子類78
3.4.2在關系模型中表示“屬于”聯系79
3.4.3方法的比較80
3.4.4使用NULL值合并關系80
3.4.5本節練習81
3.5函數依賴82
3.5.1函數依賴的定義82
3.5.2關系的鍵碼83
3.5.3超鍵碼84
3.5.4尋找關系的鍵碼85
3.5.5由ODL設計導出的關系的鍵碼86
3.5.6本節練習87
3.6函數依賴規則88
3.6.1分解/合并規則88
3.6.2平凡依賴89
3.6.3計算屬性的閉包90
3.6.4傳遞規則92
3.6.5函數依賴的閉包93
3.6.6本節練習94
3.7關系數據庫模式設計95
3.7.1異常96
3.7.2關系分解96
3.7.3BC范式98
3.7.4分解成BCNF99
3.7.5函數依賴的投影102
3.7.6從分解中恢復信息103
3.7.7第三范式105
3.7.8本節練習107
3.8多值依賴108
3.8.1屬性的獨立性及其帶來的冗余108
3.8.2多值依賴的定義109
3.8.3多值依賴的推論111
3.8.4第四范式112
3.8.5分解成第四范式113
3.8.6范式間的聯系114
3.8.7本節練習114
3.9數據庫模式實例116
3.10本章總結118
3.11本章參考文獻119
第4章關系模型中的運算121
4.1關系代數121
4.1.1關系的集合運算122
4.1.2投影123
4.1.3選擇124
4.1.4笛卡爾積124
4.1.5自然連接125
4.1.6θ連接127
4.1.7查詢中的復合運算128
4.1.8改名129
4.1.9基本和導出運算130
4.1.10本節練習131
4.2關系的邏輯136
4.2.1謂詞和原子136
4.2.2算術原子137
4.2.3Datalog規則和查詢137
4.2.4Datalog規則的含義138
4.2.5外延和內涵謂詞140
4.2.6本節練習140
4.3從關系代數到Datalog140
4.3.1交集141
4.3.2并集141
4.3.3差集141
4.3.4投影142
4.3.5選擇142
4.3.6乘積144
4.3.7連接144
4.3.8用Datalog模擬多重運算145
4.3.9本節練習146
4.4Datalog中的遞歸編程147
4.4.1固定點運算符147
4.4.2計算*小固定點148
4.4.3Datalog中的固定點方程149
4.4.4遞歸規則中的求反153
4.4.5本節練習156
4.5對關系的約束157
4.5.1用關系代數作為約束語言158
4.5.2參照完整性約束158
4.5.3附加約束的例子159
4.5.4本節練習160
4.6包的關系運算161
4.6.1為什么用包？162
4.6.2包的并集、交集和差集163
4.6.3包的投影164
4.6.4包的選擇165
4.6.5包的乘積165
4.6.6包的連接166
4.6.7包的運算用于Datalog規則167
4.6.8本節練習168
4.7關系模型的其他外延169
4.7.1更新169
4.7.2聚合169
4.7.3視圖169
4.7.4空值170
4.8本章總結170
4.9本章參考文獻171
第5章數據庫語言SQL172
5.1SQL的簡單查詢172
5.1.1SQL 的投影173
5.1.2SQL的選擇175
5.1.3字符串的比較176
5.1.4日期和時間的比較178
5.1.5輸出的排序178
5.1.6本節練習179
5.2涉及多個關系的查詢180
5.2.1SQL中的乘積和連接180
5.2.2消除屬性的二義性181
5.2.3元組變量182
5.2.4多關系查詢的解釋183
5.2.5查詢的并、交、差185
5.2.6本節練習186
5.3子查詢188
5.3.1產生標量值的子查詢188
5.3.2涉及到關系的條件189
5.3.3涉及到元組的條件190
5.3.4相關子查詢191
5.3.5本節練習192
5.4副本193
5.4.1副本的刪除193
5.4.2并、交、差中的副本194
5.4.3本節練習195
5.5聚合195
5.5.1聚合運算符195
5.5.2分組196
5.5.3HAVING子句198
5.5.4本節練習199
5.6數據庫更新200
5.6.1插入200
5.6.2刪除202
5.6.3修改203
5.6.4本節練習203
5.7用SQL定義關系模式204
5.7.1數據類型205
5.7.2表的簡單說明205
5.7.3刪除表206
5.7.4更改關系模式206
5.7.5默認值207
5.7.6域207
5.7.7索引208
5.7.8本節練習209
5.8視圖的定義211
5.8.1視圖的說明211
5.8.2視圖的查詢212
5.8.3屬性改名213
5.8.4視圖的更新213
5.8.5對涉及到視圖的查詢的解釋216
5.8.6本節練習217
5.9空值和外部連接218
5.9.1對空值的運算218
5.9.2真值UNKNOWN219
5.9.3SQL2中的連接表達式221
5.9.4自然連接222
5.9.5外部連接222
5.9.6本節練習224
5.10SQL3中的遞歸225
5.10.1在SQL3中定義IDB關系225
5.10.2線性遞歸228
5.10.3在WITH語句中使用視圖228
5.10.4分層求反229
5.10.5SQL3遞歸中的未定表達式230
5.10.6本節練習232
5.11本章總結233
5.12本章參考文獻235
第6章SQL中的約束和觸發程序236
6.1SQL中的鍵碼236
6.1.1說明鍵碼236
6.1.2實施鍵碼約束238
6.1.3本節練習238
6.2參照完整性和外鍵碼238
6.2.1說明外鍵碼約束239
6.2.2保持參照完整性240
6.2.3本節練習241
6.3對屬性值的約束243
6.3.1非空約束243
6.3.2基于屬性的CHECK約束243
6.3.3域約束244
6.3.4本節練習245
6.4全局約束246
6.4.1基于元組的CHECK約束246
6.4.2斷言247
6.4.3本節練習250
6.5約束的更新251
6.5.1對約束命名251
6.5.2更改表的約束252
6.5.3更改域的約束253
6.5.4更改斷言253
6.5.5本節練習253
6.6SQL3中的觸發程序254
6.6.1觸發和約束254
6.6.2SQL3觸發程序254
6.6.3SQL3的斷言257
6.6.4本節練習258
6.7本章總結259
6.8本章參考文獻260
第7章SQL系統概況261
7.1編程環境中的SQL261
7.1.1匹配失衡問題262
7.1.2SQL/宿主語言接口262
7.1.3說明(DECLARE)段263
7.1.4使用共享變量263
7.1.5單行查詢語句264
7.1.6游標265
7.1.7通過游標的更新267
7.1.8游標選項267
7.1.9為取出的元組排序268
7.1.10防止并發更新的保護措施269
7.1.11滾動游標269
7.1.12動態SQL270
7.1.13本節練習271
7.2SQL中的事務273
7.2.1可串行性273
7.2.2原子性275
7.2.3事務276
7.2.4只讀事務277
7.2.5讀臟數據278
7.2.6其他隔離性級別279
7.2.7本節練習280
7.3SQL環境281
7.3.1環境281
7.3.2模式282
7.3.3目錄283
7.3.4SQL環境中的客戶程序和服務程序284
7.3.5連接284
7.3.6會話285
7.3.7模塊285
7.4SQL2的安全和用戶授權286
7.4.1權限286
7.4.2建立權限287
7.4.3權限檢驗處理287
7.4.4授予權限289
7.4.5授權圖290
7.4.6取消權限290
7.4.7本節練習293
7.5本章總結294
7.6本章參考文獻296
第8章面向對象查詢語言297
8.1ODL中相關查詢的特性297
8.1.1ODL對象的操作297
8.1.2ODL中方法署名的說明298
8.1.3類的范圍300
8.1.4本節練習300
8.2OQL介紹301
8.2.1面向對象的電影實例302
8.2.2OQL類型系統302
8.2.3路徑表達式303
8.2.4OQL中的selectfromwhere表達式304
8.2.5消除重復305
8.2.6復雜的輸出類型305
8.2.7子查詢306
8.2.8對結果排序307
8.2.9本節練習307
8.3OQL表達式的附加格式308
8.3.1量詞表達式308
8.3.2聚合表達式308
8.3.3分組表達式309
8.3.4HAVING 子句311
8.3.5集合運算符311
8.3.6本節練習312
8.4OQL中對象的賦值和建立313
8.4.1對宿主語言變量賦值313
8.4.2從聚集中提取元素313
8.4.3獲取聚集的每個成員314
8.4.4建立新對象314
8.4.5本節練習316
8.5SQL3中的元組對象316
8.5.1行類型317
8.5.2說明具有行類型的關系317
8.5.3訪問行類型的分量318
8.5.4引用318
8.5.5利用引用320
8.5.6引用的作用域320
8.5.7作為值的對象標識321
8.5.8本節練習323
8.6SQL3的抽象數據類型324
8.6.1ADT的定義324
8.6.2ADT方法的定義327
8.6.3外部函數329
8.6.4本節練習329
8.7ODL/OQL和SQL3方法的比較330
8.8本章總結331
8.9本章參考文獻332
展開全部
書友推薦
- >
月亮虎
- >
羅庸西南聯大授課錄
- >
伊索寓言-世界文學名著典藏-全譯本
- >
小考拉的故事-套裝共3冊
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
我與地壇
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
大紅狗在馬戲團-大紅狗克里弗-助人
本類暢銷
