論理データ独立性

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

概念データモデルを特定のデータモデル（関係モデルなど）に変換したもの。テーブル名、属性名、データ型、制約（主キー、外部キー、NOT NULLなど）を定義する。DBMS製品には依存しない。

応用プログラムがデータの物理的格納方法や論理的構造の変更に影響されない性質。物理データ独立性（内部スキーマの変更がプログラムに影響しない）と論理データ独立性（概念スキーマの変更が外部スキーマに影響しない）がある。

概念データモデルを特定のデータモデル（関係モデルなど）に変換し、テーブル定義、属性定義、制約定義を行う工程。正規化を適用してデータの冗長性を排除し、整合性を確保する。

内部スキーマの変更が概念スキーマに影響を与えない性質。3層スキーマアーキテクチャの概念スキーマ/内部スキーマ間の写像で実現される。インデックスの追加やファイル編成の変更がアプリケーションに影響しない。

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