今天老大分享了 Calcite 的技术原理，基于规则，基于成本的优化，还有一种基于物化视图的 Transformation 优化。中间还提到了 JavaCC、ANTLR、BNF 范式，及他已申请专利的，两种 SQL 基于中间语言（IR）的互转，基于数学等价验证的中间语言。

    老大还提到 SQL 的本质，对关系元祖的数学计算。

    老大讲的非常清晰易懂。 想想我的 Raft 还是一头雾水啊，加油。