Verification of Object Relational Maps.
Krishna K. MehraSriram K. RajamaniA. Prasad SistlaSumit Kumar JhaPublished in: SEFM (2007)
Keyphrases
- object relational
- object relational databases
- spatial databases
- data representation
- database technology
- database systems
- database development
- object oriented
- database management
- data types
- object oriented software development
- database
- relational model
- database management systems
- relational databases
- data model
- database applications
- database objects
- data quality
- data modeling
- relational database systems
- relational database management systems
- conceptual model
- integrity constraints
- database design