Proving Query Equivalence Using Linear Integer Arithmetic

Authors

• 1. Haoran Ding (Shanghai Jiao Tong University)
• 2. Zhaoguo Wang (Shanghai Jiao Tong University)
• 3. Yicun Yang (Shanghai Jiao Tong University)
• 4. Dexin Zhang (Shanghai Jiao Tong University)
• 5. Zhenglin Xu (Shanghai Jiao Tong University)
• 6. Haibo Chen (Shanghai Jiao Tong University)
• 7. Ruzica Piskac (Yale University)
• 8. Jinyang Li (New York University)

@inproceedings{ding_sigmod23,
        title = {{Proving Query Equivalence Using Linear Integer Arithmetic}},
        author = {Ding, Haoran and Wang, Zhaoguo and Yang, Yicun and Zhang, Dexin and Xu, Zhenglin and Chen, Haibo and Piskac, Ruzica and Li, Jinyang},
        series = {{SIGMOD} '23},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3626768},
        url = {https://dl.acm.org/doi/10.1145/3626768},
        year = {2023}
}

Incoming Citations (Sorted by Pagerank)

Showing 12 of 12 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

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

Semantically Similar Papers