関係論理とは？かんけいろんり
関係論理とは、欲しい結果を「どんな条件を満たすタプルか」という述語で宣言して書く問合せの体系。手順を並べる関係代数とは書き方が逆になる。変数がタプル全体を動くタプル関係論理と、変数が属性の値を動く定義域関係論理の2種類があり、存在記号と全称記号で条件を表す。
最終更新：2026-10-06
データベースSPを最短で暗記・合格する →背景
関係代数は、どの演算をどの順に適用するかという手順を書く体系なので、書き手が取り出す経路まで決めてしまう。利用者は欲しいものの性質だけを述べ、経路の選択はDBMSに任せたい——この分担を成り立たせるために、論理式で条件だけを書く体系が用意された。SQLがWHERE句で条件を述べつつ実行計画は最適化器に選ばせるのは、この考え方の実装にあたる。
具体例
「自分と同じ部門のどの社員よりも給与が高い社員」を、全称記号を使って「同じ部門に属するすべての社員について、その給与より自分の給与が大きい」という条件として書く。SQLではNOT EXISTSやALL付きの副問合せがこの形に対応する。
試験での引っ掛け
関係代数とは表現能力が等しく（関係完備）、片方で書けるものは他方でも書ける。宣言的なほうが強力というわけではない。ただし論理式は書き方しだいで結果が無限集合になりうるため、安全な式に限るという条件が付く。SQLは宣言的な見た目をしているが、両方の性質を併せ持つ言語である。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。