Automatic correctness validation of database management systems

A method for automatically detecting inconsistencies in a database system comprising:

• receiving a first signature and a second signature, the first signature a signature of a result of a first execution of a query against a database by a first version of database engine program code, and the second signature a signature of a result of a second execution of the query by a second version of the database engine program code;
• determining whether the first signature and the second signature match;
• and
• in response to the first signature and the second signature failing to match,
• generating an inconsistency report regarding at least one of the first or second versions of the database engine program code, and
• performing remediation regarding at least one of the first or second versions of the database engine program code.

A correctness verifier comprising:

• a processor;
• and
• at least one memory device that stores correctness verifier program code to be executed by the processor to:
• receive a first signature and a second signature, the first signature a signature of a result of a first execution of a query against a database by a first version of database engine program code, and the second signature a signature of a result of a second execution of the query by a second version of the database engine program code;
• determine whether the first signature and the second signature match;
• and
• in response to the first signature and the second signature failing to match,
• generate an inconsistency report regarding at least one of the first or second versions of the database engine program code, and
• perform remediation regarding at least one of the first or second versions of the database engine program code.