RE: Model Digest Algorithm

>As Brian has already demonstrated, the XOR aggregator is not 
>sufficient 
>even for case (a).  The immediately evident problem here is 
>that (X XOR Y 
>XOR Y) == X, for all Y.  So how about using simple addition, 
>modulo 2^n, as 
>an aggregator?
>


There is a small subtlety here.  An RDF model is a set of statements.
Sets have no duplicates, so no statement can appear twice.  
Cancellation is therefore less of a risk.

Brian>