US 12,468,621 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 Dec. 12, 2023, as Appl. No. 18/536,483.
Application 18/536,483 is a continuation of application No. 17/730,904, filed on Apr. 27, 2022, granted, now 11,899,560.
Prior Publication US 2024/0111657 A1, Apr. 4, 2024
This patent is subject to a terminal disclaimer.
Int. Cl. G06F 11/3604 (2025.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
a memory device that stores system program code, the system program code executable by the processor to:
causing generation of a first signature corresponding to a first query key, the first query key corresponding to a first execution of a query against a database by a first version of database engine program code, the first signature a signature of a result of the first execution of the query, a size of the first signature smaller than a size of the result of the first execution of the query;
receive a second query key corresponding to a second execution of the query against the database by a second version of the database engine program code;
match the second query key against a set of query keys stored in a data store to identify the first query key, each query key of the set of query keys corresponding to respective execution of the query;
in response to identifying the first query key, obtain the first signature; and
in response to detection of an inconsistency in the database based on the first signature, perform remediation regarding at least one of the first or second versions of the database engine program code.