database - 機能依存性 些細なこと

Question

LHS と RHS に何かがある場合、それが RHS の唯一のシンボルである場合、それは些細なことと見なされますか? 例えば：

ABC -> C

次のように分解していただけますか。

C -> C
A -> {}
B -> {}

ここで、{} は空のセットです。それともこれは有効ではありませんか？

これにより、このルールは役に立たなくなり、単純に削除できますか?

Answer 1

RHSがLHSのサブセット（必ずしも適切ではない）であるすべてのFDは、取るに足らないものです。

したがって、あなたの質問で言及されているすべてのFDは取るに足らないものです。

{A}-> {}などのFDは、「Aを知っていれば、少なくとも何も知らない」と言っています。{ABC}-> {C}などのFDは、「AとBとCを知っていれば、少なくともCを知っている」と言っています。

集合論の形式的な観点からは、FD理論で空集合の場合を除外することはおそらく賢明ではありませんが、いずれにせよ、些細なFDは通常せいぜい面白くありません。

したがって、{ABC}-> {C}は、RHSが空の場合とまったく同じように「役に立たない」ものであり、同様に「ドロップ」することができます。