Artifact for "Detecting Join Bugs in Database Engines via Join Implication Reasoning"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zhaokun Xiang, Shian Zhong, Manuel Rigger
DOI: 10.5281/zenodo.19000644
Cited by: 0

Abstract

This artifact is associated with the paper “Detecting Join Bugs in Database Engines via Join Implication Reasoning”, which will be published in SIGMOD 2026. At the beginning, this artifact contains all the bugs found across 11 DBMSs and proofs for proposed reasoning rules. In the near future, the refined source code and all experimental scripts will also be incorporated.

Fields of Study & Subjects

Software Testing and Debugging Techniques Advanced Database Systems and Queries Formal Methods in Verification

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
13 March 2026
Language
EN