數據庫系統概念（本科教學版·原書第7版）

《資料庫系統概念》是資料庫系統方面的經典教材之一-其內容由淺入深-既包含資料庫系統基本概念-又反映資料庫技術新進展。
 
本書基於該書第7版進行改編-保留其中的基本內容-壓縮或刪除了一些高級內容-更加適合作為國內高校電腦及相關專業本科生資料庫課程教材。

第1章引言1
11資料庫系統應用1
12資料庫系統的目標3
13資料視圖6
131資料模型6
132關係資料模型6
133資料抽象7
134實例和模式8
14資料庫語言9
141資料定義語言9
142SQL資料定義語言10
143資料操縱語言10
144SQL資料操縱語言11
145從應用程式訪問資料庫11
15資料庫設計12
16資料庫引擎12
161存儲管理器13
162查詢處理器14
163事務管理14
17資料庫和應用體系結構15
18資料庫使用者和管理員16
181資料庫使用者和使用者介面16
182資料庫管理員17
19資料庫系統的歷史17
110總結20
術語回顧21
實踐習題22
習題22
工具22
延伸閱讀23
參考文獻23

第一部分關係語言
第2章關係模型介紹26
21關聯式資料庫的結構26
22資料庫模式28
23碼29
24模式圖32
25關係查詢語言32
26總結33
術語回顧33
實踐習題34
習題34
延伸閱讀35
參考文獻35
第3章SQL介紹36
31SQL查詢語言概覽36
32SQL資料定義37
321基本類型37
322基本模式定義38
33SQL查詢的基本結構40
331單關係查詢40
332多關係查詢42
34附加的基本運算46
341更名運算46
342字串運算47
343select子句中的屬性說明48
344排列元組的顯示次序48
345where子句謂詞49
35集合運算49
351並運算50
352交運算51
353差運算51
36空值52
37聚集函數53
371基本聚集53
372分組聚集54
373having子句56
374對空值和布林值的聚集57
38嵌套子查詢58
381集合成員資格58
382集合比較59
383空關係測試60
384重複元組存在性測試61
385from子句中的子查詢62
386with子句63
387標量子查詢64
388不帶from子句的標量64
39資料庫的修改65
391刪除66
392插入67
393更新68
310總結69
術語回顧70
實踐習題70
習題72
工具74
延伸閱讀75
參考文獻75
第4章中級SQL76
41連接運算式76
411自然連接76
412連接條件79
413外連接80
414連接類型和條件83
42視圖83
421視圖定義84
422在SQL查詢中使用視圖85
423物化視圖86
424視圖更新86
43事務88
44完整性約束89
441單個關係上的約束90
442非空約束90
443唯一性約束91
444check子句91
445參考完整性91
446給約束賦名93
447事務中對完整性約束的違反94
448複雜check條件與斷言94
45SQL的資料類型與模式96
451SQL中的日期和時間類型96
452類型轉換和格式化函數96
453缺省值97
454大對象類型98
455用戶自訂類型99
456生成唯一碼值101
457createtable的擴展102
458模式、目錄與環境102
46SQL中的索引定義103
47授權104
471許可權的授予與收回105
472角色106
473視圖的授權107
474模式的授權108
475許可權的轉移108
476許可權的收回109
477行級授權110
48總結110
術語回顧111
實踐習題112
習題113
延伸閱讀114
參考文獻114
第5章高級SQL116
51使用程式設計語言訪問SQL116
511JDBC117
512從Python訪問資料庫123
513ODBC123
514嵌入式SQL125
52函數和過程127
521聲明及調用SQL函數和過程127
522用於過程和函數的語言結構128
523外部語言常式131
53觸發器132
531對觸發器的需求132
532SQL中的觸發器132
533何時不用觸發器135
54遞迴查詢137
541使用反覆運算的傳遞閉包137
542SQL中的遞迴139
55高級聚集特性140
551排名141
552分窗144
553旋轉145
554上卷和立方體146
56總結149
術語回顧149
實踐習題149
習題151
工具153
延伸閱讀153
第6章形式化關係查詢語言154
61關聯代數154
611選擇運算154
612投影運算155
613關係運算的複合155
614笛卡兒積運算156
615連接運算157
616集合運算158
617賦值運算159
618更名運算160
619等價查詢161
62元組關聯計算法161
621查詢示例161
622形式化定義164
623運算式的安全