关系模式R，属性集U=A,B,C,DI, 函数依赖集F=(A→BD,ABB-C,C→D) 求F的最小函数依赖集

首先，我们需要使用 Armstrong's Axioms 将F进行推导，以便找到它的闭包。然后，我们可以使用最小覆盖算法来找到F的最小函数依赖集。

使用Armstrong's Axioms，我们可以推导出以下附加的函数依赖：

- AB → D (根据 A → BD)
- ABB → C (根据 A → BD)
- AC → D (根据 C → D)
- AB → C (根据 A → BD 和 C → D)

现在，我们可以使用最小覆盖算法来找到F的最小函数依赖集：

1. 移除多余的依赖：根据推导出来的附加依赖，我们可以移除原始的依赖 A → BD 和 C → D。
F' = (A → B, A → D, AB → C, AB → D, AC → D, ABB → C)
2. 合并依赖：根据合并规则，我们可以将 A → B 和 A → D 合并为 A → BD。
F' = (A → BD, AB → C, AB → D, AC → D, ABB → C)
3. 移除冗余依赖：根据消减规则，我们可以移除 ABB → C，因为它可以由 AB → C 推导出来。
F'' = (A → BD, AB → C, AB → D, AC → D)

因此，F的最小函数依赖集为：F'' = (A → BD, AB → C, AB → D, AC → D)。