Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness.
Yu XiaXiangyao YuMatthew ButrovichAndrew PavloSrinivas DevadasPublished in: SIGMOD Conference (2022)
Keyphrases
- database management systems
- acid properties
- transaction processing
- transaction management
- database systems
- concurrency control
- database
- data management
- database applications
- management system
- concurrent transactions
- data types
- data model
- multidatabase systems
- transaction model
- database technology
- main memory
- distributed database systems
- active databases
- relational database systems
- data warehousing
- relational database management systems
- distributed databases
- data management systems
- data base management systems
- data mining
- databases
- computing environments
- data structure
- query language