语言
没有数据
通知
无通知
〔consistency〕
⇒ ひっす(必須)
〔「ひっすう」「ひっしゅ」とも〕
(1)〔consistence〕
参照整合性 (さんしょうせいごうせい、英: referential integrity) は、コンピュータの関係データベースの関係モデルにおいて2つの関連しあった関係変数 (表、テーブル) の間の一貫性 (データ完全性) をいう。 参照整合性は、多くの場合、主キーもしくは主キー以外の候補キーと、外部
読み取りの修復:読み取りが不整合を発見したときに修正が行われる。これにより読み取り動作が遅くなる。 書き込み修復:書き込み時に不整合が発見された場合に修正が行われるため,書き込み動作が遅くなる。 非同期リペア:訂正は、読み取りまたは書き込み操作の一部ではない。 結果
〖control〗
)」は「命題Pが偽であることが必然ではない( ¬ ◻ ¬ P {\displaystyle \neg \Box \neg P} )」と同値である。可能世界論では、すべての可能世界で真の命題を必然的真理(necessary truth)と呼ぶ。 論理的必然性は上述のようなものであるが、因果的必然