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

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