數(shù)據(jù)庫系統(tǒng)概念（本科教學(xué)版·原書第7版）

改編者序
譯者簡介
前言
作者簡介
第1章　引言1
11　數(shù)據(jù)庫系統(tǒng)應(yīng)用1
12　數(shù)據(jù)庫系統(tǒng)的目標(biāo)3
13　數(shù)據(jù)視圖6
131　數(shù)據(jù)模型6
132　關(guān)系數(shù)據(jù)模型6
133　數(shù)據(jù)抽象7
134　實例和模式8
14　數(shù)據(jù)庫語言9
141　數(shù)據(jù)定義語言9
142　SQL數(shù)據(jù)定義語言10
143　數(shù)據(jù)操縱語言10
144　SQL數(shù)據(jù)操縱語言11
145　從應(yīng)用程序訪問數(shù)據(jù)庫11
15　數(shù)據(jù)庫設(shè)計12
16　數(shù)據(jù)庫引擎12
161　存儲管理器13
162　查詢處理器14
163　事務(wù)管理14
17　數(shù)據(jù)庫和應(yīng)用體系結(jié)構(gòu)15
18　數(shù)據(jù)庫用戶和管理員16
181　數(shù)據(jù)庫用戶和用戶界面16
182　數(shù)據(jù)庫管理員17
19　數(shù)據(jù)庫系統(tǒng)的歷史17
110　總結(jié)20
術(shù)語回顧21
實踐習(xí)題22
習(xí)題22
工具22
延伸閱讀23
參考文獻23
第一部分　關(guān)系語言
第2章　關(guān)系模型介紹26
21　關(guān)系數(shù)據(jù)庫的結(jié)構(gòu)26
22　數(shù)據(jù)庫模式28
23　碼29
24　模式圖32
25　關(guān)系查詢語言32
26　總結(jié)33
術(shù)語回顧33
實踐習(xí)題34
習(xí)題34
延伸閱讀35
參考文獻35
第3章　SQL介紹36
31　SQL查詢語言概覽36
32　SQL數(shù)據(jù)定義37
321　基本類型37
322　基本模式定義38
33　SQL查詢的基本結(jié)構(gòu)40
331　單關(guān)系查詢40
332　多關(guān)系查詢42
34　附加的基本運算46
341　更名運算46
342　字符串運算47
343　select子句中的屬性說明48
344　排列元組的顯示次序48
345　where子句謂詞49
35　集合運算49
351　并運算50
352　交運算51
353　差運算51
36　空值52
37　聚集函數(shù)53
371　基本聚集53
372　分組聚集54
373　having子句56
374　對空值和布爾值的聚集57
38　嵌套子查詢58
381　集合成員資格58
382　集合比較59
383　空關(guān)系測試60
384　重復(fù)元組存在性測試61
385　from子句中的子查詢62
386　with子句63
387　標(biāo)量子查詢64
388　不帶from子句的標(biāo)量64
39　數(shù)據(jù)庫的修改65
391　刪除66
392　插入67
393　更新68
310　總結(jié)69
術(shù)語回顧70
實踐習(xí)題70
習(xí)題72
工具74
延伸閱讀75
參考文獻75
第4章　中級SQL76
41　連接表達(dá)式76
411　自然連接76
412　連接條件79
413　外連接80
414　連接類型和條件83
42　視圖83
421　視圖定義84
422　在SQL查詢中使用視圖85
423　物化視圖86
424　視圖更新86
43　事務(wù)88
44　完整性約束89
441　單個關(guān)系上的約束90
442　非空約束90
443　唯一性約束91
444　check子句91
445　引用完整性91
446　給約束賦名93
447　事務(wù)中對完整性約束的違反94
448　復(fù)雜check條件與斷言94
45　SQL的數(shù)據(jù)類型與模式96
451　SQL中的日期和時間類型96
452　類型轉(zhuǎn)換和格式化函數(shù)96
453　缺省值97
454　大對象類型98
455　用戶自定義類型99
456　生成唯一碼值101
457　create table的擴展102
458　模式、目錄與環(huán)境102
46　SQL中的索引定義103
47　授權(quán)104
471　權(quán)限的授予與收回105
472　角色106
473　視圖的授權(quán)107
474　模式的授權(quán)108
475　權(quán)限的轉(zhuǎn)移108
476　權(quán)限的收回109
477　行級授權(quán)110
48　總結(jié)110
術(shù)語回顧111
實踐習(xí)題112
習(xí)題113
延伸閱讀114
參考文獻114
第5章　高級SQL116
51　使用程序設(shè)計語言訪問SQL116
511　JDBC117
512　從Python訪問數(shù)據(jù)庫123
513　ODBC123
514　嵌入式SQL125
52　函數(shù)和過程127
521　聲明及調(diào)用SQL函數(shù)和過程127
522　用于過程和函數(shù)的語言結(jié)構(gòu)128
523　外部語言例程131
53　觸發(fā)器132
531　對觸發(fā)器的需求132
532　SQL中的觸發(fā)器132
533　何時不用觸發(fā)器135
54　遞歸查詢137
541　使用迭代的傳遞閉包137
542　SQL中的遞歸139
55　高級聚集特性140
551　排名141
552　分窗144
553　旋轉(zhuǎn)145
554　上卷和立方體146
56　總結(jié)149
術(shù)語回顧149
實踐習(xí)題149
習(xí)題151
工具153
延伸閱讀153
第6章　形式化關(guān)系查詢語言154
61　關(guān)系代數(shù)154
611　選擇運算154
612　投影運算155
613　關(guān)系運算的復(fù)合155
614　笛卡兒積運算156
615　連接運算157
616　集合運算158
617　賦值運算159
618　更名運算160
619　等價查詢161
62　元組關(guān)系演算161
621　查詢示例161
622　形式化定義164
623　表達(dá)式的安全