視圖更新與關系數(shù)據庫理論

第1章 拋磚引玉1
1.1　可交換性原則　3
1.2　僅限基表：約束　5
1.3　僅限基表：補償性操作　6
1.4　視圖：約束和補償性操作　7
1.5　規(guī)則至上　8
1.6　結束語　9
第2章　技術背景　11
2.1　關系和關系變量　12
2.2　關系賦值　15
2.3　一致性約束　19
2.4　關系變量謂詞　21
2.5　MATCHING，NOT MATCHING，以及EXTEND　25
2.6　數(shù)據庫與數(shù)據庫變量　27
第3章　視圖概念：近距離觀察　31
3.1　視圖是偽變量　33
3.2　數(shù)據獨立性　34
3.3　如何預防　37
3.4　約束和謂詞　40
3.5　信息等價　44
3.6　結束語　47
第4章　限制視圖　53
4.1　“拋磚引玉”再回顧　53
4.2　更多關于補償性操作的內容　57
4.3　關于觸發(fā)器　61
4.4　關于顯式更新操作　63
4.5　供應商與設備供應　65
4.6　再談拋磚引玉　68
4.7　概括總結　70
4.8　最后一點　71
4.9　重疊限制　73
4.10　結束語　75
第5章　投影視圖　77
5.1　示例1：一個無損分解　77
5.2　示例1續(xù)：投影關系變量　83
5.3　示例1續(xù)：視圖　85
5.4　示例2：另一個無損分解　85
5.4.1　投影關系變量　90
5.4.2　信息隱藏　91
5.4.3　視圖　91
5.5　示例3：一個有損分解　92
5.5.1　投影關系變量　94
5.5.2　信息隱藏　95
5.5.3　視圖　95
5.6　概括總結　96
第6章　連接視圖I：一對一連接　99
6.1　示例1：信息等價　100
6.2　示例2：信息隱藏　102
6.2.1　編譯指示　107
6.2.2　對稱　108
6.3　結束語　111
第7章　連接視圖II：多對多連接　115
7.1　示例1：信息等價　115
7.1.1　補償性操作　118
7.1.2　視圖更新　121
7.2　再談投影視圖　123
7.3　示例2：信息隱藏　124
7.4　結束語　126
第8章　連接視圖III：一對多連接　127
8.1　示例1：信息等價　127
8.2　示例2：信息隱藏　131
8.3　結束語　133
第9章　交集視圖　137
9.1　示例1：顯式重疊　138
9.2　示例2：隱式重疊　142
9.2.1　更好的設計　144
9.2.2　另一個可能的設計　148
9.3　結束語　149
第10章　合并視圖　151
10.1　示例1：交集為空的合并　151
10.2　示例2：顯式重疊　154
10.3　示例3：隱式重疊　156
10.3.1　一個更好的設計　159
10.3.2　關于交集為空的合并　161
10.5　結束語　162
第11章　差異視圖　165
11.1　示例1：隱式重疊　165
11.1.1　一個更好的設計　169
11.1.2　關于“包含差異”　171
11.2　示例2：顯式重疊　172
11.3　結束語　175
第12章　組合視圖和去組合視圖　177
12.1　組合（GROUP）和去組合（UNGROUP）運算符　177
12.2　一個組合/去組合示例　181
12.3　一個示例概覽　184
第13章　展開視圖與概覽視圖　189
13.1　一個展開示例　189
13.1.1　關系常數(shù)　191
13.2　另一個概覽示例　193
第14章　通過表達式進行更新　197
14.1　語義不是語法（）　198
14.2　一些廣為人知的重言式（永真式、套套邏輯）　200
14.3　“語義變換”　203
14.4　“信息等價”再回顧　205
14.5　結束語　209
第15章　歧義問題再回顧　211
15.1　謂詞和約束再回顧　212
15.2　一個交集示例　214
15.3　合并以及差異示例　216
15.3.1　合并　217
15.3.2　差異　218
15.4　更多關于謂詞的內容　219
15.5　結束語　220
附靈A　關于關系賦值的一點意見　223
附錄B　關系運算符　229