Verification method and system for space text Top-k query in outsourced database

The invention relates to a verification method and a verification system for space text Top-k query in an outsourced database. The verification method comprises the following steps: constructing an IR tree, combining the IR tree with a Merkle hash tree to construct an MIR tree; separating the MIR tree into an MR tree and a plurality of keyword trees; pruning the keyword trees associated with input keywords to generate pruned keyboard trees; scanning the MR tree and the pruned keyboard trees, generating a verification object; scanning the verification object to recover a hash value of the MR tree and the keyword root node, comparing the hash value with the hash value in the original database, if the same, indicating that the query results are complete, otherwise, indicating that the query results are incomplete; calculating the grade of each object in the verification object, sequencing, comparing the sequence with the sequence of queried k results, if same, indicating the queried results are correct, otherwise, the queried results are wrong. According to the verification method disclosed by the invention, through a forest indexing and item pruning method, the redundant information in the verification object is reduced, and the communication cost and the calculating cost are reduced.