US 11,899,560 B2
Automatic correctness validation of database management systems
Mathieu Baptiste Demarne, Seattle, WA (US); Timothy Underwood Johnson, La Mesa, CA (US); and Miso Cilimdzic, Laguna Niguel, CA (US)
Assigned to MICROSOFT TECHNOLOGY LICENSING, LLC, Redmond, WA (US)
Filed by Microsoft Technology Licensing, LLC, Redmond, WA (US)
Filed on Apr. 27, 2022, as Appl. No. 17/730,904.
Prior Publication US 2023/0350783 A1, Nov. 2, 2023
Int. Cl. G06F 11/36 (2006.01); G06F 8/71 (2018.01); G06F 16/23 (2019.01)
CPC G06F 11/3612 (2013.01) [G06F 8/71 (2013.01); G06F 16/2365 (2019.01)] 20 Claims
OG exemplary drawing
 
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.