1. https://github.com/jdorn/sql-formatter (last checked on 2023-7). https://github.com/jdorn/sql-formatter (last checked on 2023-7).
2. https://github.com/uwdb/cosette (last checked on 2023-7). https://github.com/uwdb/cosette (last checked on 2023-7).
3. https://github.com/xiaomi/soar (last checked on 2023-7). https://github.com/xiaomi/soar (last checked on 2023-7).
4. E. Begoli , J. Camacho-Rodríguez , J. Hyde, and et al. Apache calcite: A foundational framework for optimized query processing over heterogeneous data sources . In SIGMOD , pages 221 -- 230 , 2018 . E. Begoli, J. Camacho-Rodríguez, J. Hyde, and et al. Apache calcite: A foundational framework for optimized query processing over heterogeneous data sources. In SIGMOD, pages 221--230, 2018.
5. HoTTSQL: proving query rewrites with univalent SQL semantics