The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 20, 2010
Filed:
Jun. 27, 2007
Krishna Mehra, Bangalore, IN;
Sriram K. Rajamani, Bangalore, IN;
Aravinda P. Sistla, Glenview, IL (US);
Sumit K. Jha, Pittsburgh, PA (US);
Krishna Mehra, Bangalore, IN;
Sriram K. Rajamani, Bangalore, IN;
Aravinda P. Sistla, Glenview, IL (US);
Sumit K. Jha, Pittsburgh, PA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
An object relational map verification system is described. In some embodiments, the object relational map verification system can verify object relational maps and identify counterexamples when an object relational map cannot be verified. The object relational map verification system can verify an object relational map by (1) receiving objects, database schemas, query views, and update views; (2) generating first order logic formulae corresponding to the received objects, database schemas, query views, and update views; and (3) proving theorems indicated by the generated first order logic formulae. When the theorems are proved, the object relational map is verified. In some embodiments, the object relational map verification system can also generate models illustrating counterexamples when the theorem cannot be proved. The counterexamples provide data that the object relational map does not consistently store and then retrieve.