检查\(AG \rightarrow B\) :去掉A, \(G \rightarrow B\) , \(G^+_F = G\) 不好含B,留,去掉G,\(A \rightarrow B\) \(A^+_F = \{A\}\) 不包含B,留。
经过以上3步算法最终可得到最小函数依赖\(F = \{B \rightarrow D, DG \rightarrow C, B \rightarrow E, AG \rightarrow B\}\) 。
检查\(AG \rightarrow B\) :去掉A, \(G \rightarrow B\) , \(G^+_F = G\) 不好含B,留,去掉G,\(A \rightarrow B\) \(A^+_F = \{A\}\) 不包含B,留。
经过以上3步算法最终可得到最小函数依赖\(F = \{B \rightarrow D, DG \rightarrow C, B \rightarrow E, AG \rightarrow B\}\) 。
内容版权声明:除非注明,否则皆为本站原创文章。