关于sql的一些理论性的问题

有一个attribute set R=abc
有函数依赖关系 F = { AB -> C  AC -> B  BC -> A}
要计算minimal cover

我这样算对不对

COPY　一个函数依赖G

G　= { AB -> C  AC -> B  BC -> A}

以为AB -> AC 所以AB -> B 所以 A -> B
所以AC -> B 可以简略成为 A -> B

后面如此类推

AC -> BC    AC -> A      C -> A

BC -> AB    BC -> C      B  -> C

所以这个的minimal cover 是  A -> B  B-> C  C-> A

请问 我这样计算有错误吗

---

汗 不懂啊

---

以为AB -> AC 所以AB -> B 所以 A -> B

这个并不成立，你的依据是 Armstrong 的哪一条推理规则呢？


{ AB -> C  AC -> B  BC -> A}

留下其中任何两组就行了。

---

引用

以为AB -> AC 所以AB -> B 所以 A -> B

这个并不成立，你的依据是 Armstrong 的哪一条推理规则呢？


  { AB -> C  AC -> B  BC -> A}

留下其中任何两组就行了。

因为有AB -> C  然后用augmented两边乘A    AB -> AC  然后利用transitivity  推出 A-》B


任何两组？  但是我需要写出个过程来  这样的话要怎么写

---

---

End_rbody_6