Patent ID: 7702695
Filing Date: 2010-04-20
Classification: G06F

Abstract:
1. A method performed by a computer system for verifying an object relational map for software, comprising: receiving by the computer system an object employed by the software; receiving a database schema, the database schema specifying portions of a database into which an attribute of the received object will be stored or from which the attribute of the received object will be retrieved; receiving a query view that specifies in a query language what is retrieved from the database; receiving an update view that specifies in the query language what is stored in the database; generating a first order logic formula corresponding to the received object, database schema, query view, and update view, the first order logic formula expressing the object relational map formulaically; and proving a theorem indicated by the generated first order logic formula by invoking a first order logic formula theorem prover, wherein when the theorem is proved, the object relational map is verified and generating a model when the theorem could not be proved.