Manuel Rigger

I just noticed that there is a test failure (" time zone "g+zvi" not recognized"). Could you run the changed implementation for longer to check whether there are other errors...

There is a MonetDB SQLancer fork at https://github.com/MonetDB/sqlancer, which was developed by @PedroTadim. Perhaps it could be a potential GSoC project to integrate it into the main project. @suyZhong has...

One challenge here is that we need to determine how we can map Java NaN values to NaN values of the different database systems.

I just checked our [NoREC paper](https://arxiv.org/pdf/2007.08292) and it seems that we should support `GROUP BYs`. In our current NoREC test oracle contributed by @malwaregarry, I don't see any references to...

Thanks! I think the QuestDB implementation is currently quite broken and incomplete. A good starting point would be to try and make it run on the latest version. Also see...

It seems like this triggered a bug in DuckDB. You could try to find a reduced version of the bug-inducing test case, see whether it still reproduces on the latest...

We will also need to add the indexes to the internal schema representation. See https://github.com/sqlancer/sqlancer/blob/7fbfe3d091a6254644dc0f4457e296ada94fe03e/src/sqlancer/duckdb/DuckDBSchema.java#L222

There is another PR that already addresses this: https://github.com/sqlancer/sqlancer/pull/1171 Did you already continue on this PR? Otherwise, I'd be inclined to focus on reviewing and merging the other PR, as...

We could add an enum (see https://github.com/sqlancer/sqlancer/blob/49c735829617aef9f4dc351b5844a32cbeb6b441/src/sqlancer/postgres/PostgresProvider.java#L129). In this enum, we can specify a newly-created method in the explain generator that can generate the full range of `EXPLAIN`, while we...

@yaojiejia, I see you have been working on multiple other PRs. Do you think it would be possible to focus on the open ones, so we can merge those first?