prela

Prela 是一个基于塔尔斯基关系代数的嵌入式关系查询语言，旨在以代数化、导航式方式表达关系操作。其核心采用浅层嵌入（shallow embedding）和延续传递风格（CPS），编译为高效列式执行；支持谓词与投影自由交织、子表达式自然嵌套，避免SQL中显式JOIN和子查询语法的冗余。适用于需要高表达力、可组合性与理论严谨性的数据库查询场景，尤其适合研究型数据处理系统、DSL设计或关系代数教学验证。