Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis.
Zongyin HaoQuanfeng HuangChengpeng WangJianfeng WangYushan ZhangRongxin WuCharles ZhangPublished in: USENIX Annual Technical Conference (2023)
Keyphrases
- database management systems
- database
- query optimizer
- data independence
- database systems
- data management
- data model
- database applications
- query processing
- database technology
- data storage
- main memory
- data types
- management system
- relational database management systems
- index structure
- query optimizers
- response time
- range queries
- query evaluation
- relational database systems
- concurrency control
- relational dbms
- databases
- query execution
- distributed database systems
- transaction processing
- transaction management
- data sources
- native xml databases
- database operations
- query language
- data exchange
- query optimization
- relational databases
- data objects
- materialized views
- data analysis