US Patent Issued to MICROSOFT TECHNOLOGY LICENSING on Nov. 11 for "Automatic correctness validation of database management systems" (Washington, California Inventors)

ALEXANDRIA, Va., Nov. 11 -- United States Patent no. 12,468,621, issued on Nov. 11, was assigned to MICROSOFT TECHNOLOGY LICENSING LLC (Redmond, Wash.).

"Automatic correctness validation of database management systems" was invented by Mathieu Baptiste Demarne (Seattle), Timothy Underwood Johnson (La Mesa, Calif.) and Miso Cilimdzic (Laguna Niguel, Calif.).

According to the abstract* released by the U.S. Patent & Trademark Office: "The automatic detection of inconsistencies in a database system is described. A first signature and a second signature are received. The first signature is a signature of a result of a first execution of the query against a database by a first version of database engine program code. The second signature is a si...