Patents by Inventor Aravinda P. Sistla

Aravinda P. Sistla has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Object relational map verification system
    Patent number: 7702695
    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.
    Type: Grant
    Filed: June 27, 2007
    Date of Patent: April 20, 2010
    Assignee: Microsoft Corporation
    Inventors: Krishna Mehra, Sriram K. Rajamani, Aravinda P. Sistla, Sumit K. Jha
  • OBJECT RELATIONAL MAP VERIFICATION SYSTEM
    Publication number: 20090006463
    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.
    Type: Application
    Filed: June 27, 2007
    Publication date: January 1, 2009
    Applicant: Microsoft Corporation
    Inventors: Krishna Mehra, Sriram K. Rajamani, Aravinda P. Sistla, Sumit K. Jha