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

Question

有一个attribute set R=abc 
有函数依赖关系 F = { AB -> C  AC -> B  BC -> A}
要计算minimal cover我这样算对不对COPY　一个函数依赖GG　= { 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请问 我这样计算有错误吗

Answer 1

以为AB -> AC 所以AB -> B 所以 A -> B这个并不成立，你的依据是 Armstrong 的哪一条推理规则呢？
 { AB -> C  AC -> B  BC -> A}留下其中任何两组就行了。

Answer 2

因为有AB -> C  然后用augmented两边乘A    AB -> AC  然后利用transitivity  推出 A-》B
任何两组？  但是我需要写出个过程来  这样的话要怎么写

Answer 3

说一下答案顺便结贴ABC
(i) Dependency set: F = { AB → C, AC → B, BC → A}
Minimal cover: { AB → C, AC → B, BC → A}
(ii) Since AB → C then AB → ABC (augment).
Since AC → B then AC → ABC (augment).
Since BC → A then BC → ABC (augment).
The set has three candidate keys AB, AC and BC.
F is in BCNF.
(iii) Do not need to decompose since the set is in BCNF.