[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [Models] An attribute value should be equal to self


Kurt,

Kurt D. Zeilenga wrote: 
At 05:20 PM 3/7/2005, Steven Legg wrote:

I dislike it too. I would prefer that LDAPprep removes troublesome characters instead of failing. 


It is not clear to me that X.500 requires for every equality
matching rule R and every value X of the applicable attribute
value syntax that:
        R( X, X ) == TRUE

In absence of a guarantee that R( X, X) is always TRUE,
the [Models] statement in necessary.


It is only necessary in the case of the string matching rules because LDAPprep
can fail. If LDAPprep didn't fail then R(X, X) = TRUE would always be trivially
satisfied. No test would be required.

BTW, in the case where matching is not undefined, the X.500 requirement for
transitivity, i.e. a=b and b=c then a=c, and commutativity, i.e. a=b then b=a,
guarantees a=a.

If b=c then c=b, which means a=b and c=b implies a=c. If c is identical to a then
we have a=a.

Regards,
Steven


Kurt