Gábor E. Gévay

Add more cases to `introduces_nulls`

2

`BinaryFunc::introduces_nulls` and `VariadicFunc::introduces_nulls` is presently conservative, i.e. may indicate that a function introduces nulls even when it does not. We should go through all binary and variadic functions and decide...

Integrate Squid

3

Edit: We have resolved some more issues! It would be really good to integrate Squid into our compiler pipeline, because its quasiquote-based API would probably make it easier to write...

Source.valid says 'invalid' for valid trees

2

For example: ``` { val x = 7 x } ``` or ``` println(5) ``` Btw. after fixing it, we might add it at the beginning of the compiler pipeline,...

TempResultsManager deletes results prematurely if multiple top-level variables point to the same DataBag

2

For example, the following code fails with Flink: ``` var v = DataBag() val r = v v = DataBag() r ``` The problem is that the `TempResultsManager` garbage collects...

Semantic checks

2

This is an umbrella issue for cases when it is possible to write some code where it isn't clear semantically what should it do. These cases should be dealt with...

Join-Dependent Predicate Duplication

5

There are cases where a traditional predicate pushdown is not possible, but it's still possible to create an extra filter on some join inputs, and thereby reduce the data volume...

Join ordering should favor pushed-down filters

1

### Feature request From TPC-H, it seems we could improve join ordering by taking into account which inputs are filtered. For example, - https://github.com/MaterializeInc/materialize/issues/14501#issuecomment-1230958447 - https://www.notion.so/materialize/TPC-H-Optimization-and-Dataflow-Performance-d43aa9cb379d46ccaa0be07e83d658db#35444158146b481da2ccf975acdfce44 - (We could gather...

The problem was that `contains_temporal` was just calling `visit_children`, which doesn't do a visitation in the entire subtree, but merely visits the scalar expressions in the top-level relation expr node....

Error semantics—evaluation order cleanup

21

# Overview Evaluation order and short-circuiting can affect whether some potential error during query execution 1) actually happens and 2) is actually surfaced to the user. This can cause surprises...

[Epic] Refresh options for materialized views

2

## Product outcome TLDR: Users should be able to configure materialized views to compute result changes less frequently, but cheaper. Expand for more details... Copied from the [design doc](https://github.com/MaterializeInc/materialize/pull/22776). Materialize...