Patent ID: 11899560
Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A database system comprising:
a processor; and
at least one memory device that stores system program code to be executed by the processor, the system program code comprising:
a correctness verifier configured 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.