确定MVD（mulitvaled依赖项）是否持有 我有表R中的公司，位置和产品详细信息： 公司位置产品 ------------------------------------------ ABC Hilltop Alpha ABC Hilltop Beta ABC Riverside

Question

关系是多价的。并且需要根据标准化进行分解数据，因为MVD的are

不是源自候选密钥（

company ->> location

和

company ->> product

，其中
1. company

   不是候选密钥）

   or
联合不会使整个集合（

company U location < R

）。

但我的同事与我不同意，他坚持认为，要使多价依赖关系具有至少四个值的关系，每个公司都应该存在四个值：

2. product

   对于Company ABC，这是真的。但是对于在三个地点只有一个产品的公司Buggy来说，这是不真实的。
   

   对于正式的定义和我引用的类似示例
https：//en.wikipedia.org/wiki/multivalued_dependentys和

Https：//en.wikipedia.org/wiki/fourth_normal_form

阅读正式定义后，我也开始看到同样的问题。

这种关系即使不满足正式定义，这种关系仍然具有这种MVD？（我不问如何将这些数据归一化为4NF。我需要将其分解为两个表 -

t1(company) = t2(company) = t3(company) = t4(company)

-

company和location-company

。）

）

“存在”说“存在”存在一些值，并且不必有不同的差异。多个名称可以指相同的值。 （所有人都可以用存在表示。）

MVD的概念可以应用于变量和值。实际上，链接的定义的形式是，当MVD在价值意义上具有“在任何法律关系中”

时，MVD在变量意义上存在。要知道特定价值是合法的，您需要

企业知识

。然后，您可以说明值是否满足MVD。但是，要证明其是否满足MVD是否满足MVD，您必须证明MVD可以“以任何法律关系”值满足该变量所能拥有的价值。一个有效的值可以告诉您MVD

do do do noted（IT和）变量，但不能告诉您MVD

does

Answer 1

。 您可以通过使用MVD的定义来证明此

值违反了4NF。 对于R中的所有元组T1和T2，t1 [a] = t2 [a]存在元组T3＆t4 [...] 对于T1和T2的T1和T2的MVD和值，T3＆T4的值不存在值？ T1和T2的MVD和值没有这样的组合。例如{Company}↠{product}和T1＆T2都（Buggy，Underbridge，Gamma），我们可以将（Company，Underbridge，Gamma）作为T3和T4的价值，等等，用于T1和T1的所有其他选择。 f↠tholding的其他定义是二进制jd（加入依赖关系） *{f u t，f u（a -t）}保持，即，关系等于其在f u t＆f u u（a -t）上的预测的连接。这个定义可能会对您和您的同事立即有所帮助，因为它避免了您和他们正在误解的术语。例如，您的示例数据是其两个预测的联接：

product

因此，它满足JD *{{Company，location}，{Company，Product}}，因此它满足MVDS {Company}↠{location}和{Company}↠{prodenct}（等）。 （也许您将能够想到与零，一个，两个，三个等元素的关系的例子，其中一个或多个（琐碎和/或非琐事）MVD所持的示例。）） 当然，这两个定义是描述相同条件的两种不同的方法。 每当FD f→t保持时，MVD f them t均保持。对于BCNF的关系，违反4NF＆5NF的MVD与FDS不那么相关。 PS2当且仅当将其值替换为给定的语句模板或Predicate时，就可以在业务术语中进行真实的语句时，仅当它在业务术语中进行真实的语句时，就可以容纳一个关系变量。此加上MVD的JD定义为关系变量提供条件，从而满足商务术语的MVD。在这里，我们的谓词是形式。 （例如）。

company  location
--------------------
abc      hilltop
abc      riverside
buggy    underbridge

company  product
----------------
abc      alpha
abc      beta
buggy    gamma
buggy    theta
buggy    omega