The method of claim 1 , wherein the set of lists includes substantially all of a response set of K possible lists that are estimated to have the highest probability that the members of each list satisfies the logical constraint specified in the query, where K is a parameter supplied by the user. 13.