Detecting Logic Bugs of Join Optimizations in DBMS.
Xiu TangSai WuDongxiang ZhangFeifei LiGang ChenPublished in: Proc. ACM Manag. Data (2023)
Keyphrases
- query processing
- database management systems
- source code
- database
- query engine
- data model
- classical logic
- query optimization
- database systems
- join algorithms
- logic programming
- modal logic
- databases
- proof theory
- data types
- software systems
- database management
- predicate logic
- data base management systems
- expressive power
- test cases
- data management
- data streams