The transitive relation of a finite set S with size \S\ = n is verified qui
ckly by the relational inequality M-2 less than or equal to M that needs 2n
(3) computations. In this paper, a table oriented audit method based on mes
sage passing protocol only needs 2 Sigma(node=1)(n) i(node) o(node) computa
tions to conduct the verification of transitive relation and it is always l
ess than the relational inequality.