Verifying atomicity via data independence.
Ohad ShachamEran YahavGuy Golan-GuetaAlex AikenNathan Grasso BronsonMooly SagivMartin T. VechevPublished in: ISSTA (2014)
Keyphrases
- data independence
- database management systems
- databases
- database systems
- transaction management
- data model
- multidatabase systems
- transaction processing
- nested transactions
- concurrency control
- acid properties
- electronic commerce
- database
- data types
- model checking
- database applications
- storage structures
- data management
- management system
- correctness criterion
- distributed database systems
- relational databases
- main memory
- response time
- transaction model