BibTeX record journals/pvldb/ChuMRCS18

download as .bib file

@article{DBLP:journals/pvldb/ChuMRCS18,
  author    = {Shumo Chu and
               Brendan Murphy and
               Jared Roesch and
               Alvin Cheung and
               Dan Suciu},
  title     = {Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences
               of {SQL} Queries},
  journal   = {{PVLDB}},
  volume    = {11},
  number    = {11},
  pages     = {1482--1495},
  year      = {2018},
  url       = {http://www.vldb.org/pvldb/vol11/p1482-chu.pdf},
  doi       = {10.14778/3236187.3236200},
  timestamp = {Fri, 30 Nov 2018 11:58:40 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/ChuMRCS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics