| ダイナセット型データーベースにおいて、リレーションの定義に矛盾があるが、 それを許容して強制的にリレーションを行い、また、更新可能とすること。
論理が完全に矛盾を排していなくても、それに基づいて実行することで、 取り敢えず前に進み、そこから遡って矛盾を排したり、単純に役に立ったり、 することがあり得るということの例となる。
しかし世界はどの時点を取ってもみても、矛盾無く存在しているはずで、 元を正せば/よく観察すれば、矛盾は人間が設定した理論側に内在すると考えられる。
矛盾を許せばリレーション出来るのに、それを矛盾だとすることは、 本来は矛盾ではなく、選択可能なパラメーターの構成が不完全だということになる。 その言語またシステムでは、世界の全ての状態を記述することが出来ないということである。
allow inconsistent
|
|