クエリに対応するものが存在しないとは

クエリ Q

テーブル T

要素 V ∈ T

任意のVが、Qと意味的に対応しないことを判定する

意味的に対応する

Qの意味をSqとする

Vの意味をSvとする

Sq = Sv

意味的に対応しない

Sq ≠ Sv