Database design 如何使用闭包算法验证FD是否成立

如何使用闭包算法验证FDCI->B与FDs的关系R（a、B、C、D、E、F、G、H、I）：

A、 C，E->F

B、 C，D，E->G

C、 I->E

F、 我->

A->I

---

在我的尝试中，我首先通过查看FD右侧不存在的属性来确定候选密钥，即（A、C、D、H）。

---

为了显示CI->B不成立，我计算了闭包。这是否足以说明FD不保持，因为闭包不包含候选键？我不知道该找什么，有人能帮我找到正确的方法吗？

只是为了确定：你是想证明CI->B在关系R中不成立吗？没错，我最后用chase算法证明没有行是没有下标的。你写了

F，I->

，它似乎缺少右边。