1. More on functional dependencies (功能依赖的更多内容)

 Lossless decomposition (无损分解)

研究如何在分解表的过程中不丢失信息，也就是说，通过分解后的表可以无损地重建原始表。

2. BCNF (Boyce-Codd Normal Form, BCNF范式)

（1） Boyce-Codd normal form (BCNF 范式)

介绍 BCNF 范式及其对数据库设计的约束条件。

（2） Higher normal forms (更高阶范式)

讨论更高级的范式（如第四范式、第五范式）。

（3） Denormalisation (非规范化)

非规范化的概念，即为提升性能可能牺牲一定的规范化，形成冗余。

More on FDs  

Rules Derived (推导出的规则) 

 Lossless Decomposition (无损分解)

 

 

Example of Lossless Decomposition (无损分解的例子) 

 

通过自然连接可以恢复原始关系  R 。

When is Decomposition not Lossless: No FD (分解有损的情况：没有功能依赖) 

John Smith 20 和 John Smith 30 同时出现，这在原始数据中并不存在。

4. 原因：没有功能依赖 (Reason: No functional dependency)

• 如果没有功能依赖，分解无法正确表达属性间的关系，导致数据重建时出现错误。

 

 

 

 The Stream Relation

 Functional Dependencies in Stream Relation 

 

FDs in the Stream Relation​​​​​​​ 

Anomalies in Stream 

Boyce-Codd Normal Form (BCNF)

在某些情况下，BCNF 的分解是有损的。

Decomposition Properties

1. BCNF 违反的稀有性 (Rarity of BCNF Violation)

• 违反 BCNF 的情况非常罕见。

Violation of BCNF is very rare.

2. 可能违反 BCNF 的条件 (Conditions for BCNF Violation)

• 如果一个关系包含两个或以上的复合候选键，且这些候选键有重叠部分（至少有一个共同的属性）。