Database Management System Verification with Separation Logics.
Diego Medina-MartínezEverardo BárcenasGuillermo Molero-CastilloAlejandro Velázquez-MenaRocío Aldeco-PérezPublished in: Program. Comput. Softw. (2021)
Keyphrases
- database management systems
- data management
- database applications
- management system
- data storage
- database
- database systems
- data model
- data types
- main memory
- database management
- relational database systems
- database technology
- concurrency control
- distributed database systems
- relational database management systems
- expressive power
- spatial data management
- index structure
- transaction management
- data management systems
- modal logic
- model checking
- query optimizer
- persistent object
- information management
- relational model
- sql queries
- query optimizers