参照整合性

参照整合性は、すべての参照が有効であることを示すデータの特性です。リレーショナルデータベースのコンテキストでは、リレーション（テーブル）の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]第一階述語論理 では、と表現できます。ここで、 は、と が共有する変数のベクトル（サイズは）であり、TGDの本体にも頭部にも変数が複数回出現することはありません。 ${\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}$

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

宣言的参照整合性(DRI) は、データの整合性を確保するためのSQLデータベース プログラミング言語の手法の 1 つです。

テーブル (参照テ​​ーブルと呼ばれる) は、外部キーを使用して、別のテーブル (参照テ​​ーブル) の列 (または列のグループ) を参照できます。参照テーブル内の参照列は、主キーなどの一意制約の下にある必要があります。また、自己参照も可能です (ただし、MS SQL Server では完全には実装されていません^[5] )。参照テーブルに新しい行を挿入すると、リレーショナル データベース管理システム(RDBMS) は、入力されたキー値が参照テーブルに存在するかどうかを確認します。存在しない場合は、挿入できません。UPDATEおよびDELETEで DRI アクションを指定することもできます。たとえば、CASCADE (参照テ​​ーブルの変更/削除を参照テーブルに転送)、NO ACTION (特定の行が参照されている場合、キーの変更は許可されません)、SET NULL / SET DEFAULT (参照テ​​ーブルで変更/削除されたキーによって、参照値が NULL に設定されるか、DEFAULT 値が指定されている場合はその値に設定されます) などです。^[6]

Microsoft SQL Serverでは、 DRIという用語は、データベースオブジェクトに対するユーザーへの権限の割り当てにも適用されます。データベースユーザーにDRI権限を与えると、テーブルに外部キー制約を追加できるようになります。^[7]

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

• DRI 対 トリガー (アーカイブ)