包邮视图更新与关系数据库理论

第1章 抛砖引玉 1 1.1　可交换性原则　3 1.2　仅限基表：约束　5 1.3　仅限基表：补偿性操作　6 1.4　视图：约束和补偿性操作　7 1.5　规则至上　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　数据库与数据库变量　27 第3章　视图概念：近距离观察　31 3.1　视图是伪变量　33 3.2　数据独立性　34 3.3　如何预防　37 3.4　约束和谓词　40 3.5　信息等价　44 3.6　结束语　47 第4章　限制视图　53 4.1　“抛砖引玉”再回顾　53 4.2　更多关于补偿性操作的内容　57 4.3　关于触发器　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续：投影关系变量　83 5.3　示例1续：视图　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　关系常数　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