質問:アームストロングの公理を使ってカノニカル カバーを決定します。各ステップに到達するために使用する公理を与えてください。
R = (A, B, C, D, E, F) Fdependencies = {A -> B, A -> C, CD -> E, CD -> F, B -> E}
私はアームストロングの公理を知っています: 結合、分解、疑似推移性、再帰性、増強、推移性。また、正規のカバーが何であるかも知っています。しかし、アームストロングの公理を使用してこの特定の質問の答えに到達する方法がわかりません。通常、cc ではなく、アームストロングの公理を使用して F+ を計算すると思いました。助けてくれてありがとう。
「正規のカバー」をグーグルで検索したときに表示される上位の回答：
http://www.koffeinhaltig.com/fds/ueberdeckung.php
通常、F+ の計算自体はあまり興味深いものではありません。私には疑問がありますが、同等であることが証明されているいくつかの最小セットを計算することは、もう少し興味深いかもしれません。
注（実際の質問ではありませんが、それでも言及します）問題は「FDの両側の属性セットを最小化する」ことですが、Armstrongの公理の最も有用な使用法は、最小の属性セットを持つFDを計算することです左側が最大ですが、右側が最大です (= すべての属性)。これにより、すべての（最小限の）キーが得られるため、NF を簡単に確認できます。