78. The method of claim 77 , further comprising, for correlating said common sets of entity instances within said conjunctive term for the purpose of producing a correlated set of entity instances, the steps of correlating pairs of common sets of entity instances across a mutually respective bind operator in a defined visit sequence of bind operators, for storage in computer memory; and updating the cardinality of entity instances in respective correlated sets of entity instances in reverse order of said visit sequence, for storage in computer memory.
78. The method of claim 77 , further comprising, for correlating said common sets of entity instances within said conjunctive term for the purpose of producing a correlated set of entity instances, the steps of correlating pairs of common sets of entity instances across a mutually respective bind operator in a defined visit sequence of bind operators, for storage in computer memory; and updating the cardinality of entity instances in respective correlated sets of entity instances in reverse order of said visit sequence, for storage in computer memory. 79. The method of claim 78 , further comprising, for deciding said visit sequence of said bind operators with said conjunctive term, the steps of: selecting a common set of entity instances with the least number of respective entity instances within said conjunctive term as the origin set of entity instances; selecting one of the said bind operators respective to the said origin set of entity instances as the first bind operator in the said visit sequence; selecting a subsequent bind operator from those bind operators respective to the same common set of entity instances as the bind operator most recently visited and which have not appeared in the said visit sequence or which have already appeared in said visit sequence but have been affected by a bind operator subsequently visited; and repeating the prior step until no more bind operators are available to be selected; such that correlated sets of entity instances are produced in the said visit sequence for storage in computer memory.