Salman Saghafi

The query optimizer should be extendable, making it possible to add more optimization rules. Challenges arise due to losing type information when composing expressions, which can be dealt with as...

This is the main idea: https://arxiv.org/abs/1210.0481 A good sample guideline for the implementation (similar to the database layer of the existing work in `relalg` is here: https://github.com/frankmcsherry/blog/blob/master/posts/2018-05-19.md

CNF and DNF data structures now support quantifiers (universal and existential), followed by a matrix in normal form. This allows for converting to CNF/DNF without Skolemization, which is needed for...

Provide option to downgrade `unknown import` errors to warnings

1

When instantiating a component, it's probably safe to supply it with additional imports that aren't declared in its world. For example, consider a component that declares an import `foo` in...

Support type annotation in WAC

2

When instantiating a component, it's useful to allow the user to provide type annotation that fixes the component's expected imports and exports. For example, in the scenario described in #56,...