Database 数据库无损连接分解准则

在这方面，它说：

如果F+中至少有一个以下函数依赖项（其中F+表示F中每个属性或属性集的闭包），则该分解是R的无损连接分解：
R1∩ R2→ R1或R1∩ R2→ R2

---

不幸的是，我不理解这个标准。众所周知，如果R1和R2的连接是R，那么分解是无损的，但是这是如何从上述标准推导出来的呢？

维基百科的文章一团糟

分解是无损的当且仅当组件（原始组件的投影）连接回分解

你引用的东西不是无损分解的定义。这是一个充分条件，表明分解是无损的，给定一些函数依赖关系，这些函数依赖关系保持在原始状态。如果满足条件，则连接是无损的。这不是一个必要条件

一些大学html幻灯片：

10我们将对无损连接进行更正式的定义：[……]
11换句话说，无损连接分解就是，对于任何法律关系r，如果我们分解r，然后“重新组合”r，我们得到的是我们开始得到的——不多也不少

一个有用的充分条件

设R为关系模式。
设F是R上的一组函数依赖项。
让R1和R2形成R的分解。
如果以下函数依赖项中至少有一个在F+中，则该分解是R的无损连接分解：
1 R1∩ R2→ R1
2 R1∩ R2→ R2

了解充分条件背后的想法是，您只需展示关于共享属性集的一些信息&一些函数依赖性，以了解组件连接到原始属性，并且（等价地）是无损分解

为什么这是真的？简单地说，它确保了自然连接（R1）中涉及的属性∩ R2）是两个关系中至少一个的候选密钥

---

维基百科上的那篇文章乱七八糟

分解是无损的当且仅当组件（原始组件的投影）连接回分解

你引用的东西不是无损分解的定义。这是一个充分条件，表明分解是无损的，给定一些函数依赖关系，这些函数依赖关系保持在原始状态。如果满足条件，则连接是无损的。这不是一个必要条件

一些大学html幻灯片：

10我们将对无损连接进行更正式的定义：[……]
11换句话说，无损连接分解就是，对于任何法律关系r，如果我们分解r，然后“重新组合”r，我们得到的是我们开始得到的——不多也不少

一个有用的充分条件

设R为关系模式。
设F是R上的一组函数依赖项。
让R1和R2形成R的分解。
如果以下函数依赖项中至少有一个在F+中，则该分解是R的无损连接分解：
1 R1∩ R2→ R1
2 R1∩ R2→ R2

了解充分条件背后的想法是，您只需展示关于共享属性集的一些信息&一些函数依赖性，以了解组件连接到原始属性，并且（等价地）是无损分解

为什么这是真的？简单地说，它确保了自然连接（R1）中涉及的属性∩ R2）是两个关系中至少一个的候选密钥