【DB入門】「論理的に含意」の定義

北川 博之著「データベースシステム(オーム社)」を参考に,データベースシステムの知識をまとめます。

「論理的に含意」の定義

関数従属性集合$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}

と表します。

参考文献

オーム社
¥1,500 (2024/05/19 21:58時点 | Amazon調べ)
シェアはこちらからお願いします!

コメント

コメントする

※ Please enter your comments in Japanese to distinguish from spam.