视图更新与关系数据库理论电子书

内容提要

献辞

作者简介

前言

致谢

第1章抛砖引玉

1.1 可交换性原则

1.2 仅限基表：约束

1.3 仅限基表：补偿性操作

1.4 视图：约束和补偿性操作

1.5 规则至上

1.6 小结

第2章技术背景

2.1 关系和关系变量

2.2 关系赋值

2.3 一致性约束

2.4 关系变量谓词

2.5 MATCHING，NOT MATCHING以及EXTEND

2.6 数据库与数据库变量

第3章视图概念：近距离观察

3.1 视图是伪变量

3.2 数据独立性

3.3 如何预防

3.4 约束和谓词

3.5 信息等价

3.6 小结

第4章限制视图

4.1 “抛砖引玉”再回顾

4.2 更多关于补偿性操作的内容

4.3 关于触发器

4.4 关于显式更新操作

4.5 供应商与设备供应

4.6 再谈抛砖引玉

4.7 概括总结

4.8 最后一点

4.9 重叠限制

4.10 小结

第5章投影视图

5.1 示例1：一个无损分解

5.2 示例1续：投影关系变量

5.3 示例1续：视图

5.4 示例2：另一个无损分解

5.4.1 投影关系变量

5.4.2 信息隐藏

5.4.3 视图

5.5 示例3：一个有损分解

5.5.1 投影关系变量

5.5.2 信息隐藏

5.5.3 视图

5.6 小结

第6章连接视图I：一对一连接

6.1 示例1：信息等价

6.2 示例2：信息隐藏

6.2.1 编译指示

6.2.2 对称

6.3 小结

第7章连接视图II：多对多连接

7.1 示例1：信息等价

7.1.1 补偿性操作

7.1.2 视图更新

7.2 再谈投影视图

7.3 示例2：信息隐藏

7.4 小结

第8章连接视图III：一对多连接

8.1 示例1：信息等价

8.2 示例2：信息隐藏

8.3 小结

第9章交集视图

9.1 示例1：显式重叠

9.2 示例2：隐式重叠

9.2.1 更好的设计

9.2.2 另一个可能的设计

9.3 小结

第10章合并视图

10.1 示例1：交集为空的合并

10.2 示例2：显式重叠

10.3 示例3：隐式重叠

10.3.1 一个更好的设计

10.3.2 关于交集为空的合并

10.4 小结

第11章差异视图

11.1 示例1：隐式重叠

11.1.1 一个更好的设计

11.1.2 关于“包含差异”

11.2 示例2：显式重叠

11.3 小结

第12章组合视图和去组合视图

12.1 组合（GROUP）和去组合（UNGROUP）运算符

12.2 一个组合/去组合示例

12.3 一个SUMMARIZE（概览）示例

第13章展开视图与概览视图

13.1 一个展开示例

13.2 另一个概览示例

第14章通过表达式进行更新

14.1 语义不是语法（？）

14.2 一些广为人知的重言式（永真式、套套逻辑）

14.3 “语义变换”

14.4 “信息等价”再回顾

14.5 小结

第15章歧义问题再回顾

15.1 谓词和约束再回顾

15.2 一个交集示例

15.3 合并以及差异示例

15.3.1 合并

15.3.2 差异

15.4 更多关于谓词的内容

15.5 小结

附录A 关于关系赋值的一点意见

附录B 关系运算符