定義域関係論理の例

ウィキペディア小見出し辞書

定義域関係論理の例

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/12 07:34 UTC 版)

「関係論理」の記事における「定義域関係論理の例」の解説

A、B、C をそれぞれランク、名前、ID とする。また D、E、F をそれぞれ名前、部署名、ID とする。 恒星船 USS エンタープライズ の全ての船長を問い合わせる: { | in エンタープライズ ∧ A = "船長" } この例において、A、B、C は結果集合を示しており、またエンタープライズ関係に含まれる集合を示している。 エンタープライズの船員で星図作成の部署に属する人の名前を問い合わせる: { | ∃ A, C ( in エンタープライズ ∧ ∃ D, E, F( in 部署 ∧ F = C ∧ E = "星図作成" ))} この例では名前だけを問い合わせている。は属性名である。F = C は要件である。なぜなら、ここで必要なのはエンタープライズの船員でありかつ星図作成の部署に属する人の名前であるからである。 先の例の別の定義域関係論理式での表現例は次のようになる。 { | ∃ A, C ( in エンタープライズ ∧ ∃ D ( in 部署))} この例では、要求されたF定義域は定式内に直接位置づけられており、C定義域変数は部署の存在を問い合わせる際に再び使用されている。なぜなら、C定義域変数はすでに船員のIDをもつからである。