23、数据库规范化与并发控制技术解析

数据库规范化与并发控制技术解析

1. 数据库规范化相关内容

1.1 规范化基础与参考资料

规范化的基本概念，包括第三范式的定义，由 Codd 提出。数据库理论相关的文献，如 Maier、Ullman 以及 Atzeni 和 De Antonellis 的著作，对规范化理论进行了深入研究，同时也对函数依赖的各个方面做了正式且深入的探讨。

1.2 规范化练习题

以下为一系列与规范化相关的练习题，涵盖了函数依赖的识别、键的确定、范式的验证以及关系的分解等内容。
- 练习 8.1 ：分析图 8.19 中的关系，识别对应应用的函数依赖，找出关系中可能存在的冗余和异常。
- 练习 8.2 ：确定练习 8.1 中关系的键和函数依赖，然后将其分解为 Boyce–Codd 范式。
- 练习 8.3 ：考虑图 8.20 中表示木工公司产品及其组件信息的关系，确定该关系的函数依赖和键。表 1 展示了该关系的部分数据。
| Product | Component | Type | Quantity | PriceOfC | Supplier | PriceOfP |
| ---- | ---- | ---- | ---- | ---- | ---- | ---- |
| Bookcase | Wood | Walnut | 5 | 10.00 | Smith | 400 |
| Bookcase | Screw | B212 | 200 | 0.10 | Brown | 400 |
|