问题标签 [functional-dependencies]

我正在尝试对一些数据实施 Fisher-Yates 洗牌。该算法对于一维数组很容易实现。但是，我需要能够对二维矩阵中的数据进行洗牌。

我认为可以很好地推广到高维数组的一种方法是将我的任意维数矩阵转换为一维索引数组，将它们打乱，然后通过将该索引数组的每个索引处的元素与元素交换来重组矩阵在索引数组元素的索引处。换句话说，取一个 2x2 矩阵，例如：

我会把它转换成这个“数组”：

然后我会按照正常情况争先恐后地进入，比如说，

重组后，原始矩阵将变为：

我的基本方法是我想要一个看起来像这样的类型类：

然后我将有一个函数来执行如下所示的随机播放：

我的想法是（减去 RandomGen 管道）我应该能够像这样洗牌一个可洗牌的东西：

这是我到目前为止所拥有的：

我的问题：

1. 我觉得这是解决一个简单问题的很多语言扩展。用另一种方式理解或写会更容易吗？
2. 我觉得社区正在朝着功能依赖的类型家族发展。有没有办法用它来解决这个问题？
3. 我的一部分想知道该fisherYates函数是否可以以Shuffle某种方式移动到类型类中。是否有可能和/或值得这样做，以便您实现shuffle或同时实现indicesand reorganize？

谢谢！

考虑：

虽然我很高兴像这样疯狂的东西能奏效，但我想知道如何TimeAdder避免实例的二次爆炸。

GHC 是否可能（在精神上）以下内容？

我有什么选择？

我正在尝试编写代码以从元组链中删除空元组。编译器拒绝该程序：

代码：

目标：

The 是一家为房地产经纪人竖立董事会的公司，例如出售，出租董事会。

代理发布职位时，会存储版块地址、拥有版块的代理和职位类型。

注意：属性前面的星号是主键，后面的星号是外键。并非所有表格都显示

现在我有一个工作类型表。每个工作都有一个：

• board_id （添加客户和董事会所在的位置）
• job_type_id（是否放板、取下、更换、添加销售单等）

这是我的工作类型表

并且数据看起来像这样：（省略行）

我一直在尝试有效地规范化我的数据库，并且根据规范化，您应该在表中只有直接依赖于 ID 的数据，例如 agent_name 和 agent_office 直接依赖于 agent_id！

但是在job types表中，SLIP直接依赖于BOARD列，而board列直接依赖于action列。

但是，用一个键将所有列挑出到单独的表中肯定是不对的吗？

我想我的模糊问题是：

使用函数依赖时，我经常点击Coverage Condition。可以用 来提升它UndecidableInstances，但我通常会尽量远离那个扩展。

这是一个有些人为的例子，它没有UndecidableInstances：

当我使结果类型更通用时，覆盖条件失败（因此需要UndecidableInstances）：

我认为因为b和c都由 决定a，所以更通用的代码不应该引起任何问题，所以我的问题是：

1. UndecidableInstances在这里使用是否有任何可能的问题
2. 我可以在不依赖的情况下对上述场景进行建模UndecidableInstances（也许使用类型族？）

我已经浏览了互联网和书籍，但对于如何确定这种关系的正常形式仍有一些困难

到目前为止，我已经知道唯一的候选键是 BHI（如果我应该用 F 计数，那么 BFHI）。因为属性 F 根本没有被使用。完全独立于给定的 FD。

1. 那么我应该如何处理属性 F 呢？
2. 如何确定实现 R 的最高范式？

我应该从给定的架构中找到 FD =>

可以说这是用于保存借出书籍记录的图书馆数据库系统。returnDate 属性也可以为空。我来到了这些 FD =>

问题是我不确定我的 FD 是否是所有模式，以及它们是否正确。就目前而言，它们对我来说似乎是合乎逻辑的，但是来自外部的一些输入会非常有帮助。

假设 R 具有以下属性：{A,B,C,D,E} 并具有以下功能依赖关系：

并且有一个由 R1(A,B,C) 和 R2(A,D,E) 组成的分解。如何计算 R1 和 R2 的函数依赖关系？

作业上的实际问题问我 R1/R2 是否在 BCNF/3NF/两者中，但我已经知道如何做这部分（查看 FD 的左侧是否包含在候选键中）。

我目前正在为我正在学习的课程编写一个小型编译器。所以我开始编写这个 monad 转换器来处理类型检查，但得到了一个非常神秘的类型错误。涉及功能依赖的东西，我不太了解。可以重现错误的程序的一小段摘录：

而实际消息：