DBデータベースの実装・テスト · 実装

3値論理

Three-Valued Logic

さんちろんり

SQLにおけるNULL値を含む論理演算の体系。TRUE、FALSE、UNKNOWNの3つの真偽値を扱う。NULLとの比較はUNKNOWNとなり、WHERE句ではTRUEの行のみ結果に含まれる。AND、OR演算もUNKNOWNを含む真理値表に従う。

共有:

Past Exams

過去問での出題

過去問で 2 回出題（データベーススペシャリスト試験 2）

出典: 独立行政法人情報処理推進機構（IPA）の過去問題。問題文は IPA のサイトの PDF で確認できます。用語名で照合しているため、関係の薄い問題が含まれることがあります。

関係モデルに対する問合せを述語論理で記述する方法。タプル関係論理と定義域関係論理の2種類がある。関係代数と同等の表現力を持ち、SQLのSELECT文の理論的基礎となる。

引数リストの中から最初のNULLでない値を返すSQL関数。NULL値のデフォルト置換に使用される。COALESCE(列名, 0)のように記述し、列がNULLの場合にデフォルト値を返す。

関係モデルにおいて、属性がとりうる値の集合。例えば「年齢」属性のドメインは正の整数、「性別」属性のドメインは{'男','女'}など。SQLではCHECK制約やデータ型で制限を実現する。

関係モデルに対する操作を数学的に定義した代数体系。選択、射影、結合、和、差、直積、商などの演算からなる。SQLの理論的基盤であり、問合せ最適化の基礎となる。

関係代数の基本演算の1つで、リレーションから指定した条件を満たすタプルを取り出す操作。SQLのWHERE句に対応する。記号σ（シグマ）で表される。

関係代数の基本演算の1つで、リレーションから指定した属性のみを取り出す操作。重複するタプルは除去される。SQLのSELECT句の列指定に対応する。記号π（パイ）で表される。