参照整合性

参照整合性とは、データのすべての参照が有効であることを示すデータの特性です。リレーショナルデータベースのコンテキストでは、リレーション（テーブル）の1つの属性（列）の値が別の属性の値（同じリレーションまたは異なるリレーション内）を参照する場合、参照される値が必ず存在しなければならないことを意味します。^{[ 1 ]}

リレーショナル データベースで参照整合性が維持されるためには、ベーステーブルで外部キーとして宣言された列には、NULL 値、親テーブルの主キー、または候補キーの値のみを含めることができます。^{[ 2 ]}つまり、外部キー値が使用される場合、親テーブルの有効な既存の主キーを参照する必要があります。たとえば、別のテーブルの外部キーによって参照される値を含むレコードを削除すると、参照整合性が損なわれます。一部のリレーショナル データベース管理システム(RDBMS) は、参照整合性を強制できます。通常は、整合性を維持するために外部キー行も削除するか、エラーを返して削除を実行しないことによって実現されます。どちらの方法が使用されるかは、データ ディクショナリで定義された参照整合性制約によって決定される場合があります。

形容詞「参照」は、外部キーが別のテーブルのリンクされた列を「参照」する動作を表します。簡単に言うと、「参照整合性」とは、参照先のデータが必ず見つかることを保証するものです。データベースの参照整合性が欠如すると、リレーショナルデータベースは不完全なデータを返すことになり、通常はエラーを示す表示もありません。

2つの（場合によっては同一の）述語に対する包含関係${\displaystyle R}$そして${\displaystyle S}$スキーマから書き出されます${\displaystyle R[A_{1},...,A_{n}]\subseteq S[B_{1},...,B_{n}]}$、${\displaystyle A_{i}}$、${\displaystyle B_{i}}$は、${\displaystyle R}$そして${\displaystyle S}$これは、列に表示される値のタプルを意味します。${\displaystyle A_{1},...,A_{n}}$事実について${\displaystyle R}$列には値のタプルとしても表示される必要があります${\displaystyle B_{1},...,B_{n}}$事実として${\displaystyle S}$。

このような制約は、タプル生成依存性（TGD）の特殊な形式であり、規則の両側に関係アトムが1つだけ存在する。^{[ 3 ]}一階述語論理 では、次のように表現できる。${\displaystyle \forall {\vec {x}},{\vec {y}}.(R({\vec {x}},{\vec {y}})\rightarrow \exists {\vec {z}}.S({\vec {x}},{\vec {z}}))}$、 どこ${\displaystyle {\vec {x}}}$はベクトル（サイズは${\displaystyle n}$）共有される変数${\displaystyle R}$そして${\displaystyle S}$また、TGDの本体にもヘッドにも、同じ変数が複数回出現することはありません。

^{包含関係間の論理的含意は推論規則[ 4 ] : 193}によって公理化でき、 PSPACEアルゴリズムによって判定 できる。この問題は、線形有界オートマトンに対する受理問題からの還元によってPSPACE完全であることが示される^{[ 4 ] : 196}。しかし、包含関係または関数関係になり得る依存関係間の論理的含意は、モノイドの語問題からの還元によって判定不能である^{[ 4 ] : 199}。

宣言的参照整合性（DRI）は、 SQLデータベースプログラミング言語においてデータの整合性を確保するための手法の一つです。

• ヌルポインタの逆参照
• ぶら下がったポインター
• データ整合性
• ドメイン/キー正規形
• エンティティの整合性
• 機能的依存性
• 伝播制約
• サロゲートキー
• ゆっくりと変化する次元

• DRIとトリガーの比較（アーカイブ済み）