プログラム fdchecker.sf.net

この Java アプレットは、入力として関数依存関係のセット (FD) (データベース理論) ともう 1 つの FD を取得し、最後に指定された FD が FD のセットに含まれるか、FD から派生可能かどうかを確認します。さらに、グラフィカルツリーは、誘導体と共に表示されます。