Algorithmic Checking: the validity of data in an XML instance 
document is determined not by mere examination or comparison 
of the data, but requires performing an algorithm on the data.
    

I'm not quite sure "algorithm" is an appropriate term, given that XPath is
not computationally complete: but I can't immediately think of anything
better.