我对上一篇文章有​​点困惑，所以我找到了一个很好的例子，它应该可以解决问题。

hiredDate 和 carReg 是主键。所以我的问题除了我在下面确定的那些之外，任何人都可以找到任何额外的功能依赖项......也欢迎修改：

我不确定以上是否正确，我相信还有更多。请有人可以帮助我最终理解这些该死的FD！

编辑：基于 catcall 的回答....我的问题是： custName -> custNo 如何是有效的 FD？对于上述关系，当然，一个客户名称映射到一个客户编号，但凭直觉，我们知道可以将多个 J SMith 添加到表中。如果是这种情况，则此 FD 无效，因为它形成 1..* 关系。我们真的可以说 custName -> custNo 知道这个事实吗？我们只是基于样本数据的 FD 吗？或者我们是否考虑了可以添加的可能值？

我阅读了一些规范化的例子，但是我遇到了一个我不明白的例子。

该示例的网站位于此处：http ://cisnet.baruch.cuny.edu/holowczak/classes/3400/normalization/#allinone

我不明白的部分是“第三范式”

在我的脑海中，我看到以下传递依赖EMPLOYEE_OFFICE_PHONE (Name, Office, Floor, Phone)项Name->->Office|Floor和Name->->Office|Phone

作者将表格拆分EMPLOYEE_OFFICE_PHONE (Name, Office, Floor, Phone)为EMPLOYEE_OFFICE (Name, Office, Floor)和EMPLOYEE_PHONE (Office, Phone)

从我一开始的判断来看，我仍然看到传递依赖，Name->->Office|Floor所以我不明白为什么它在 3NF 中。我说在 中存在传递依赖是错误的Name->->Office|Floor吗？

传递性的推理：这是我的函数依赖列表

1. 名称 -> 办公室
2. 名称 -> 楼层
3. 姓名 -> 电话
4. 办公室 -> 电话
5. 办公室 -> 楼层（这是不正确的吗？为什么？

谢谢大家的帮助！

如果这是一个荒谬的问题，请道歉；

我到处寻找答案，但无济于事。

我知道如何计算最小覆盖率；

即确保每个功能依赖在 RHS 上只有一个属性，通过计算每个检查所有 FD 的闭包来移除多余/冗余的 lhs 属性，看看是否可以移除任何（再次通过计算闭包）

“规范”封面只是同一件事的另一个词吗？

我有一个关于功能依赖的问题。我的理解是，例如，如果我写class Graph g a b | g -> a, g -> b，那么任何特定g的都只能与一种类型相关联a和b。事实上，试图声明两个实例相同g和不同a并且b不起作用。

但是，在以下情况下，编译器（ghc）似乎无法使用依赖项，

如果我Subgraph1通过添加参数a和b类型签名来进行修改，那么一切都会成功。

我正在为数据库测试而学习，学习指南中有一些（很多）DB规范化和功能依赖的练习，但是老师没有做任何类似的练习，所以我希望有人帮助我理解这个攻击其他 16 个问题。

1) 给定以下逻辑模式：关系 product_sales

假设： • 销售点被分组到区域中。• 每个销售点都有代理。• 每个代理都在一个 POS 中运行。• 同一销售点的两个代理商不能销售同一产品。• 对于代理商销售的每种产品，根据产品和销售数量为其分配一个资格。

a) 指出存在 4 个功能依赖关系。
b) 这个结构的正常形式是什么。

我对无关属性的概念和正确分解为 3NF 有点困惑。

例如，我有以下关系：

我想计算规范覆盖，以便使用算法将其分解为 3NF。所以我必须从 FD 中删除无关的属性。

我计算A+. B+, C+, D+ (A+ = ABCDE, B+ = BD, C+ = C, D+ = AD) 我开始试图找到无关的属性。首先，我查看了 β 中的属性

我试图找出 D 是否无关紧要

公元前 -> 德

并且使用 BC+ 我发现 D 是无关的（因为 BC+ 包含属性 D）。所以现在我的 FD 改变了，BC -> DE to BC -> E 现在我尝试计算 α 的无关属性。

我查看了 B 或 C 在 FD 中是否无关紧要BC -> DE（计算 B+ 和 C+ 导致我发现 B 或 C 都不是无关紧要的，因为它们都不包含 E）。

我还查看了 A -> BCD 中的无关属性，发现 B 和 C 都是无关的（因为 A+ 包含所有属性）。所以我只剩下以下内容：

抱歉这个问题太长了，我只是想写下我做了什么。

我很困惑这是否正确，或者我是否正确地做到了这一点。我正在尝试遵循一些注释和一些在线参考资料，但如果有人能指出我是否这样做正确并且如果没有尝试并解释一下以正确找到无关属性和分解，那就太好了。

我应该找到这套FD的最小封面。请让我知道我的回答是否正确。

1. XZ->Z
2. XZ->Y
3. XZ->B
4. YA->C
5. YA->G
6. C->W
7. B->G
8. XZ->G

我的答案：

1. X->Z（删除Z属性，平凡FD）
2. Z->Y（删除 X，因为它需要从 1 开始的 X->Z->Y。）
3. Z->B（此处相同）
4. YA->C
5. YA->G
6. C->W
7. B->G
8. （已删除，因为 X->Z->B->G）

我可以通过示例获得有关数据库概念中功能依赖性的示例吗？

我知道当一个特定的列依赖于另一个列时，它被称为依赖于另一个列的功能。但我无法用例子来可视化..请帮帮我

语境

我正在编写一个代表 SI 前缀的 Haskell 模块：

每个 SI 前缀都有对应的数据类型：

问题

我想写一个函数，当应用两个 SI 前缀时，静态确定两个前缀中的哪个更小。例如：

初步解决方案

这是一个使用类型类和功能依赖项的解决方案：

上面的解决方案似乎正确地解决了这个问题，但是它有一个缺点：类型类实例的数量是类型数量的二次方。

问题

有没有办法将类型类实例的数量减少到与类型数量成线性关系，也许是通过利用对称性？

在这里使用 Template Haskell 可能更合适，在这种情况下，请随意提出建议作为解决方案。

谢谢！

为什么这会导致冲突？

请注意，如果我删除功能依赖，代码将编译。

我的印象是，函数依赖应该只禁止像下面这样的东西，而事实上，它可以编译！

相同b的参数，但不同的a参数。不应该b -> a禁止这样做，因为这意味着a由b?