定義域関係論理

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

定義域関係論理

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

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

定義域関係論理は Michel Lacroix と Alain Pirotte により考案されたといわれる。 定義域関係論理では、問い合わせは次のような形式になる。 < X 1 , X 2 , . . . . , X n > | p ( < X 1 , X 2 , . . . . , X n > ) ここでおのおののXiは定義域変数もしくは定数である。また p() は関係論理の定式を示している。問い合わせの結果は Xi から Xn で構成される組の集合であり、この集合は関係論理の定式が真となっている。 定義域関係論理の言語は組関係論理と同じ演算子を使う。