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