NOTINCONSISTENT Operator

NOTINCONSISTENT compares the objects in two sets, and only includes objects in the resulting set which cannot be shown to be inconsistent between the two sets (this is a much weaker test than CONSISTENT). The test is typically used where objects are to be merged - "Fred" and "the man who came yesterday" are not inconsistent unless more is known about one or the other - "his name was Joe".

NOTINCONSISTENT acts as an operator between factors, as

Aset NOTINCONS Bset

and returns a set.

Inconsistency can be based on:

Numeric values

Numeric variables which have the same parent, or no parent, and whose values are inconsistent with each other - the value 3 is inconsistent with the range 4..10, the range 2..5 is inconsistent with the range 7..10

InConsistent Attributes

Object variables which have inconsistent attributes

Disjoint Members

If both objects are members of the same object, they will be taken as inconsistent unless a synonym explicitly joins them. When disjoint membership is found, the objects are checked to be invocations of an object which is a child of SynonymStructure.

The direction of NotInconsistency is immaterial, and a variable in one set may be NotInconsistent with many in the other set. The result is that the output set will be a mixture of members of both of the input sets.

Selection Criteria