含Cost属性的4NF扩展实例：为何R'无法进一步分解？

先回顾原4NF示例的背景：
关系R(Restaurant, Pizza, Area)存在两个非平凡多值依赖：Restaurant ->> Pizza和Restaurant ->> Area。意思是一家餐厅的披萨品类与覆盖区域完全独立——比如餐厅A卖披萨1、2，覆盖X、Y区域，就会生成四个元组(A,1,X)、(A,1,Y)、(A,2,X)、(A,2,Y)。此时将R拆分为R1{Restaurant, Pizza}和R2{Restaurant, Area}，既能实现无损连接，又消除了冗余，完全符合4NF要求。

现在我们给R添加Cost属性，Cost是一个基于Restaurant × Pizza × Area的任意全函数，也就是说Cost的值由餐厅、披萨、区域三者的组合唯一决定（不存在“同店同款披萨所有区域Cost相同”或“同店同区域所有披萨Cost相同”的额外依赖）。

核心原因：Cost的函数依赖无法拆分到二元关系中 #

原4NF分解的本质是把互相独立的多值依赖拆解开，但Cost的特殊性在于它依赖于三个属性的完整组合：

• 你不能把Cost放到R1{Restaurant, Pizza}里：同一个(餐厅,披萨)组合对应多个区域，每个区域的Cost可能不同，单独存储会丢失区域与Cost的对应关系；
• 你也不能把Cost放到R2{Restaurant, Area}里：同一个(餐厅,区域)组合对应多个披萨，每个披萨的Cost可能不同，单独存储会丢失披萨与Cost的对应关系。

关于多值依赖的疑问 #

你提到的“原多值依赖是否仍存在”——答案是仍存在。比如R'中如果有元组(A,1,X,c1)和(A,2,Y,c2)，必然存在元组(A,1,Y,f(A,1,Y))和(A,2,X,f(A,2,X))（因为原R包含这些属性组合）。但此时R'的超键是(Restaurant, Pizza, Area)（Cost由这三个属性唯一决定），而多值依赖的左部Restaurant并不是超键，理论上R'不满足4NF，但你无法通过拆分来满足4NF——任何拆分都会破坏Cost与三者组合的对应关系，导致无法还原出完整的R'。

简单来说：当你引入一个依赖于所有非键属性组合的属性时，原有的4NF拆分方案就失效了，因为拆分后的关系无法完整保留该属性的依赖信息。

内容的提问来源于stack exchange，提问作者yournameplease