Hi Hongyu,
I have contacted the authors and they send me the following data set of
query pairs extracted from Calcite:
https://github.com/georgia-tech-db/spes/blob/main/testData/calcite_tests.json
It is basically the RelOptRulesTest.java test you referenced.
Thank you,
Radim
On 3/8/2024 9:55 AM, Hongyu Guo wrote:
I believe
`core/src/test/java/org/apache/calcite/rel/rel2sql/RelToSqlConverterTest.java`
or `testkit/src/main/java/org/apache/calcite/sql/parser/SqlParserTest.java`
may be what you are looking for.
I took a quick look at this paper, it seems that you are interested in
obtaining two different SQL statements with the same semantics. These two
test files meet your requirements.
But this is just my assumption. It's better for you to seek help from the
author of the paper.
By the way, if you want to find the two different relational algebra with
the same semantics, you can refer to
`core/src/test/java/org/apache/calcite/test/RelOptRulesTest.java` and
`core/src/test/resources/org/apache/calcite/test/RelOptRulesTest.xml`.
Best
Hongyu
On Fri, Mar 8, 2024 at 4:26 PM Baca Radim<radim.b...@vsb.cz> wrote:
Hi community,
Article "Symbolic Approach to Proving Query Equivalence Under Bag
Semantics" (https://arxiv.org/pdf/2004.00481) mentions that it uses a
Calcite test suite containing 232 semantically equivalent query pairs.
Where can I find it?
I ran the Calcite tests, but there are plenty of them. I would be
grateful if someone could point me to a specific piece of code.
Thank you very much,
Radim
--
doc. Ing. Radim Bača, Ph.D.
Akademický pracovník
e-mail: radim.b...@vsb.cz <#email>
telefon: +420 596 995 891
VŠB – Technická univerzita Ostrava
17. listopadu 2172/15, 708 00 Ostrava-Poruba
VŠB-TUO, FEI, Katedra informatiky
