First Workshop on Verifiable Database Systems.
Tien Tuan Anh DinhBeng Chin OoiXinying YangPublished in: SIGMOD Conference Companion (2023)
Keyphrases
- database systems
- query optimization
- database applications
- sufficient conditions
- panel discussion
- concurrency control
- database management systems
- data model
- database design
- data types
- database
- relational database systems
- database technology
- databases
- query processing
- data management
- transaction management
- genetic algorithm
- artificial intelligence
- decision trees
- transaction processing
- academic researchers
- federated databases
- data warehouse