BibTeX record conf/icde/ZhouANHW22

download as .bib file

@inproceedings{DBLP:conf/icde/ZhouANHW22,
  author       = {Qi Zhou and
                  Joy Arulraj and
                  Shamkant B. Navathe and
                  William Harris and
                  Jinpeng Wu},
  title        = {{SPES:} {A} Symbolic Approach to Proving Query Equivalence Under Bag
                  Semantics},
  booktitle    = {38th {IEEE} International Conference on Data Engineering, {ICDE} 2022,
                  Kuala Lumpur, Malaysia, May 9-12, 2022},
  pages        = {2735--2748},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICDE53745.2022.00250},
  doi          = {10.1109/ICDE53745.2022.00250},
  timestamp    = {Fri, 05 Aug 2022 16:24:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icde/ZhouANHW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}