エンティティ不変条件

エンティティ不変条件

エンティティ不変条件（entity invariant）とは、文脈、システム、言語、または意図が変わっても、同一エンティティの複数の表現のあいだで両立し続けなければならない特性、限界、能力、除外、または構成的な関係である。

不変条件は、同一の言い回しを求めるものではない。不変条件が求めるのは、実質的な両立性である。

よくある類型

不変条件が対象としうるものには、たとえば次のものがある。

• アイデンティティと識別子
• 主要なカテゴリー
• 活動の範囲
• 文書化された能力
• 明示的な除外
• 現行のポリシー
• 安定した法的または組織的な関係
• 主張を構成する要素である場合の日付とバージョン
• ソースの権威の限界

特性は、永続的でなくても安定していることがある。特性が変わった場合、以前の値はバージョン管理されるか、日付を付されなければならない。そのうえで、不変性は比較可能な時間枠の中で評価される。

例

ある企業が消費者に直接販売していない場合、ユーザーが購入場所を探しているというだけの理由で、回答がその企業を小売業者として提示することはできない。商業的な文脈によって、その企業が製造業者、流通業者、または情報源として関連性を持つことはありうる。しかし、クエリを完結させるためにその役割を変えることはできない。

同様に、あるホテルに駐車場がないことは、観測された時間枠の中では実質的な不変条件であり続ける。車を持たない旅行者にとっては重要でないかもしれない。別の旅行者にとっては決定的かもしれない。変わるのは関連性であって、特性ではない。

不変条件、状態、関係

避けなければならない誤りが三つある。

1. 文脈関係を不変条件として扱うこと
2. 過去の状態を現在の不変条件として扱うこと
3. 外部の好みをエンティティの特性として扱うこと

文脈関係は、その範囲を保持しなければならない。一時的な状態は、その日付と失効を保持しなければならない。好みは、それを持つ主体に帰属したままでなければならない。

監査での使用

解釈の条件付けを検証する前に、監査者は日付入りの不変条件ベースラインを確立する。このベースラインによって、次のものを区別する。

• 言い回しの変動
• 軽微な省略
• 実質的な矛盾
• 不当な一般化
• エンティティの置換
• 状態の化石化

不変条件は、公式のソースがそれを宣言したというだけで真になるわけではない。その権威クラスと証拠は、主張と両立し続けなければならない。ドクトリンが統御するのは表現であって、自己宣言だけによる真実ではない。