Module sqlreduce 

Modules

checker

path

Path-based AST navigation for SQL reduction.

reducer

SQL reduction framework for RisingWave.

rules

Rules-based SQL reduction system.