English
Related papers

Related papers: Detecting Optimization Bugs in Database Engines vi…

200 papers

Logic bugs are bugs that can cause database management systems (DBMSs) to silently produce incorrect results for given queries. Such bugs are severe, because they can easily be overlooked by both developers and users, and can cause…

Software Engineering · Computer Science 2025-01-22 Chi Zhang , Manuel Rigger

Because database systems are the critical component of modern data-intensive applications, it is important to ensure that they operate correctly. To this end, developers extensively test these systems to eliminate bugs that negatively…

Databases · Computer Science 2021-09-03 Xinyu Liu , Qi Zhou , Joy Arulraj , Alessandro Orso

Relational databases are used ubiquitously. They are managed by database management systems (DBMS), which allow inserting, modifying, and querying data using a domain-specific language called Structured Query Language (SQL). Popular DBMS…

Databases · Computer Science 2020-01-14 Manuel Rigger , Zhendong Su

Database Management Systems (DBMSs) process a given query by creating a query plan, which is subsequently executed, to compute the query's result. Deriving an efficient query plan is challenging, and both academia and industry have invested…

Software Engineering · Computer Science 2024-01-11 Jinsheng Ba , Manuel Rigger

Database systems are widely used to store and query data. Test oracles have been proposed to find logic bugs in such systems, that is, bugs that cause the database system to compute an incorrect result. To realize a fully automated testing…

Software Engineering · Computer Science 2024-01-01 Jinsheng Ba , Manuel Rigger

Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detect such optimization bugs, we propose an automated testing…

Software Engineering · Computer Science 2024-02-21 Chi Zhang , Linzhang Wang , Manuel Rigger

DBMS bugs can cause serious consequences, posing severe security and privacy concerns. This paper works towards the detection of memory bugs and logic bugs in DBMSs, and aims to solve the two innate challenges, including how to generate…

Databases · Computer Science 2023-12-11 Jiaqi Li , Ke Wang , Yaoguang Chen , Yajin Zhou , Lei Wu , Jiashui Wang

Vector database management systems (VDBMSs) play a crucial role in facilitating semantic similarity searches over high-dimensional embeddings from diverse data sources. While VDBMSs are widely used in applications such as recommendation,…

Software Engineering · Computer Science 2025-06-04 Yinglin Xie , Xinyi Hou , Yanjie Zhao , Shenao Wang , Kai Chen , Haoyu Wang

A recent line of works apply machine learning techniques to assist or rebuild cost-based query optimizers in DBMS. While exhibiting superiority in some benchmarks, their deficiencies, e.g., unstable performance, high training cost, and slow…

Databases · Computer Science 2023-02-21 Rong Zhu , Wei Chen , Bolin Ding , Xingguang Chen , Andreas Pfadler , Ziniu Wu , Jingren Zhou

Query optimization is one of the most challenging problems in database systems. Despite the progress made over the past decades, query optimizers remain extremely complex components that require a great deal of hand-tuning for specific…

Generation-based testing techniques have shown their effectiveness in detecting logic bugs of DBMS, which are often caused by improper implementation of query optimizers. Nonetheless, existing generation-based debug tools are limited to…

Databases · Computer Science 2026-02-26 Xiu Tang , Sai Wu , Dongxiang Zhang , Feifei Li , Gang Chen

DBMSs are complex systems prone to bugs that may lead to system failures or compromise data integrity. Establishing unified DBMS bug repositories is crucial for systematically organizing bug-related data, enabling code improvement, and…

Software Engineering · Computer Science 2026-04-06 Dawei Li , Qifan Liu , Yuxiao Guo , Jie Liang , Zhiyong Wu , Chi Zhang , Jingzhou Fu , Haogang Mao , Zhenyu Guan , Yu Jiang

A Relational Database Management System (RDBMS) is one of the fundamental software that supports a wide range of applications, making it critical to identify bugs within these systems. There has been active research on testing RDBMS, most…

Databases · Computer Science 2025-05-15 Shuang Liu , Chenglin Tian , Jun Sun , Ruifeng Wang , Wei Lu , Yongxin Zhao , Yinxing Xue , Junjie Wang , Xiaoyong Du

Performance is a critical characteristic of fundamental systems, such as Database Management Systems (DBMSs). Both academia and industry have invested decades in exploring efficient optimization algorithms. Despite these efforts, DBMSs are…

Software Engineering · Computer Science 2026-05-25 Jinsheng Ba , Zhendong Su

Since 2020, automated testing for Database Management Systems (DBMSs) has flourished, uncovering hundreds of bugs in widely-used systems. A cornerstone of these techniques is test oracle, which typically implements a mechanism to generate…

Databases · Computer Science 2026-03-26 Qiuyang Mang , Runyuan He , Suyang Zhong , Xiaoxuan Liu , Huanchen Zhang , Alvin Cheung

Database Management Systems (DBMSs) are vital components in modern data-driven systems. Their complexity often leads to logic bugs, which are implementation errors within the DBMSs that can lead to incorrect query results, data exposure,…

Cryptography and Security · Computer Science 2024-07-08 Jin Wei , Ping Chen , Kangjie Lu , Jun Dai , Xiaoyan Sun

NoSQL databases have become an important component of many big data and real-time web applications. Their distributed nature and scalability make them an ideal data storage repository for a variety of use cases. While NoSQL databases are…

Databases · Computer Science 2022-12-26 Florian Eppinger , Uta Störl

In the era of data proliferation, efficiently sifting through vast information to extract meaningful insights has become increasingly crucial. This paper addresses the computational overhead and resource inefficiency prevalent in existing…

Information Retrieval · Computer Science 2024-12-20 Sheng Zhang , Maolin Wang , Yao Zhao , Chenyi Zhuang , Jinjie Gu , Ruocheng Guo , Xiangyu Zhao , Zijian Zhang , Hongzhi Yin

Relational database management system (RDBMS) is a major undergraduate course taught in many universities worldwide as part of their computer science program. A core component of such course is the design and implementation of the query…

Databases · Computer Science 2018-08-22 Siyuan Liu , Sourav S Bhowmick , Wanlu Zhang , Shu Wang , Wanyi Huang , Shafiq Joty

Benchmarking optimization algorithms is fundamental for the advancement of computational intelligence. However, widely adopted artificial test suites exhibit limited correspondence with the diversity and complexity of real-world engineering…

Computational Engineering, Finance, and Science · Computer Science 2026-04-17 Stefan Ivić , Siniša Družeta , Luka Grbčić
‹ Prev 1 2 3 10 Next ›