Database-accessing applications are ubiquitous in various business and social domains. The database-access and update logic in these applications often forms a core part of their functionality. In this work we describe a novel approach for modeling, analysis and verification of database-accessing applications. We target applications that use Object Relational Mapping (ORM), which is a common paradigm for database access for imperative languages. In contrast with other approaches that try to directly analyze and prove properties of complex database accessing ORM-based code, our approach infers a relational algebra summary of each controller in the application. This summary can then be fed into any off-the-shelf relational algebra solver to check for properties or specifications given by a developer. The summaries can also aid program understanding, and may have other applications. We have implemented our approach as a prototype tool that works for `Spring’ based MVC applications. A preliminary evaluation reveals that the approach is scalable, and gives good results while checking a set of properties given by human subjects.