语言
没有数据
通知
无通知
〔consistency〕
整礎的集合(せいそてきしゅうごう、well-founded set)とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。 すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する: V 0 = ∅ {\displaystyle V_{0}=\varnothing
(1)〔consistence〕
参照整合性 (さんしょうせいごうせい、英: referential integrity) は、コンピュータの関係データベースの関係モデルにおいて2つの関連しあった関係変数 (表、テーブル) の間の一貫性 (データ完全性) をいう。 参照整合性は、多くの場合、主キーもしくは主キー以外の候補キーと、外部
読み取りの修復:読み取りが不整合を発見したときに修正が行われる。これにより読み取り動作が遅くなる。 書き込み修復:書き込み時に不整合が発見された場合に修正が行われるため,書き込み動作が遅くなる。 非同期リペア:訂正は、読み取りまたは書き込み操作の一部ではない。 結果
自己整合語 (英語: autological words)とは、その単語自体が持つ特性を表す言葉である。例えば、「漢語」という単語はそれ自体が漢語であり、「名詞」という単語はそれ自体が名詞である。よって、「漢語」「名詞」は自己整合語である。 自己整合語の対義語は自己矛盾語 (英語: heterological
(1)性欲に関するさま。
統合整備計画(とうごうせいびけいかく)とは、1989年(平成元年)のOVA『機動戦士ガンダム0080 ポケットの中の戦争』においてガンダムシリーズの『一年戦争』時代(宇宙世紀0079年)に存在したと設定された(後述)架空の軍事計画。 提唱者はマ・クベ(当時中佐)、提唱時期は開戦間もない宇宙世紀0079年2月だったとされる。