Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction

Authors

• 1. Jiansen Song (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
• 2. Wensheng Dou (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
• 3. Yingying Zheng (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
• 4. Yu Gao (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
• 5. Ziyu Cui (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
• 6. Wei Wang (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
• 7. Jun Wei (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)

@article{song_vldb25,
        title = {{Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction}},
        author = {Song, Jiansen and Dou, Wensheng and Zheng, Yingying and Gao, Yu and Cui, Ziyu and Wang, Wei and Wei, Jun},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {7},
        pages = {2281--2294},
        doi = {10.14778/3734839.3734861},
        url = {https://doi.org/10.14778/3734839.3734861},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 19 of 19 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers