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.
What about "Formula Checking" ?
