1. A processor-implemented method for verifying the correctness of query results, comprising: receiving a query at a data repository; executing the received query using a query logic; producing a query output that includes a query result and verification information associated with the query result; transferring the query output to a verification system; and verifying the integrity and completeness of the query result using the verification information included in the query output.