北川 博之著「データベースシステム（オーム社）」を参考に，データベースシステムの知識をまとめます。
「論理的に含意」の定義
関数従属性集合$F$の各要素によって明らかに関数従属性集合$G$が成り立つとき，$F$は$G$を論理的に含意するといい，$F\models G$と表します。
補足
イメージは命題の三段論法ならぬ$n$段論法のようなものです。例えば，$\{A\rarr B,B\rarr C\}$が成り立つならば，明らかに$\{A\rarr C\}$が成り立ちますので，$\{A\rarr B,B\rarr C\}$は$\{A\rarr C\}$を論理的に含意しており，
\begin{align}
\{A\rarr B,B\rarr C\}&\models\{A\rarr C\}
\end{align}
\{A\rarr B,B\rarr C\}&\models\{A\rarr C\}
\end{align}
と表します。
コメント