5NF中存在什么样的FD或MVD？

Question

来自 William Kent 的“关系数据库理论中五种范式的简单指南”，ACM 通讯 26(2)，1983 年 2 月，120-125：

雇员：技能和雇员：语言这两个多对多关系是“独立的”，因为技能和语言之间没有直接联系。只有间接联系，因为它们属于某个普通员工。也就是说，记录中哪种技能与哪种语言配对并不重要；配对不传达任何信息。

第四和第五范式都处理多值事实的组合。一个区别是，在前面讨论的意义上，第五范式下处理的事实不是独立的。

假设某个规则生效：如果代理人销售某种产品，并且他代表一家生产该产品的公司，那么他为该公司销售该产品。

关系ACP：

-----------------------------
| AGENT | COMPANY | PRODUCT |
|-------+---------+---------|
| Smith | Ford    | car     | 
| Smith | Ford    | truck   | 
| Smith | GM      | car     | 
| Smith | GM      | truck   | 
| Jones | Ford    | car     | 
| Jones | Ford    | truck   | 
| Brown | Ford    | car     | 
| Brown | GM      | car     | 
| Brown | Totota  | car     | 
| Brown | Totota  | bus     | 
-----------------------------

以下 MVD 会作为循环 MVD 在 ACP 中保持吗？

1. 代理->>公司
2. 代理->>产品
3. 公司->>产品

我们可以说 ACP 中的多值事实不是独立的事实，因为关系中强制执行的规则，并且因为 4NF 中不存在元组生成依赖关系吗？