Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways to store data. Object-relational (OR) maps are widely used to mediate beten these two data models.  present a system to verify correctness of OR maps.  formulate simple correctness conditions for OR maps, and convert these conditions to validity of formulas in first order logic.  have built a verification tool called ROUND TRIP that is able to both validate and find errors in OR maps defined in the ESQL language of the Microsoft EDM data model.
['Krishna Kumar Mehra', 'Sriram K. Rajamani', 'Somesh Jha', 'Aravinda P. Sistla']
I am writing a research paper on a idea Verification of Object Relational Maps
[{"from": "human", "value": "I am writing a research paper on a idea Verification of Object Relational Maps"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways to store data. Object-relational (OR) maps are widely used to mediate beten these two data models.  present a system to verify correctness of OR maps.  formulate simple correctness conditions for OR maps, and convert these conditions to validity of formulas in first order logic.  have built a verification tool called ROUND TRIP that is able to both validate and find errors in OR maps defined in the ESQL language of the Microsoft EDM data model."}]