OC
11 行代码不是重点,Prela 想把 SQL 查询重新变成关系组合
科技 · 2026-08-30 · 编程语言 · 阅读 5

11 行代码不是重点,Prela 想把 SQL 查询重新变成关系组合

UCLA RePL 正在开发的 Prela,是一种以二元关系为核心的查询语言。教程用 Python 展示了如何把“演员出演电影”“电影属于国家”等关系组合起来,再通过约束和投影得到结果;一个示例用约 11 行 Prela 表达出传统 SQL 需要更多连接与子查询才能描述的逻辑。

作者:林岚|OC 开发者生态编辑

UCLA RePL 正在开发的 Prela,是一种以二元关系为核心的查询语言。教程用 Python 展示了如何把“演员出演电影”“电影属于国家”等关系组合起来,再通过约束和投影得到结果;一个示例用约 11 行 Prela 表达出传统 SQL 需要更多连接与子查询才能描述的逻辑。

一句话结论:Prela 的价值不在少写几行,而在让查询回到“哪些对象存在什么关系”的组合;它能否成功,则取决于优化器、数据接入和错误信息能否赶上语言的漂亮抽象。

SQL 很强,但复杂查询经常被表别名、JOIN 顺序、GROUP BY 和嵌套子查询淹没。读者需要从执行形式反推业务意图。Prela 试图把关系作为一等对象:关系可以组合、分解、过滤和投影,查询更接近逻辑陈述。对图状数据、程序分析或多跳关联,这种表达可能比围绕表格写过程更自然。

“11 行胜过 SQL”却不是足够的性能或生产力证据。代码行数会受格式、库函数和示例选择影响;一个简洁表达如果产生难以预测的执行计划,线上成本仍然很高。成熟数据库的优势不只是一门语言,还包括几十年的优化器、统计信息、索引、事务、权限、可观测性和工具生态。

Prela 从关系声明到执行计划仍需跨过的工程层

因此,Prela 最值得观察的是编译路径。它能否把关系组合翻译成高质量 SQL 或其他后端计划,能否在组合爆炸前做等价变换,能否告诉用户哪条约束导致空结果或高成本。如果这些层没有建立,优雅语法会停留在教程;如果能借用现有数据库执行器,它可能先成为一种嵌入式查询前端。

语言的学习成本也要算。关系代数对数据库研究者熟悉,对普通应用开发者未必直观。Prela 需要用类型、编辑器提示和小步错误信息解释“关系的输入输出是什么”,否则少掉的 SQL 子句会变成更多调试时间。

目前项目文档仍在完善,适合当作语言设计实验,而不是替换生产 SQL 的建议。开发者可以用同一组查询比较三件事:表达是否更清楚、生成计划是否等价、需求变化时修改范围是否更小。这样比比较字符数更接近实际价值。

关键事实

  • 来源:Prela 官方教程
  • 开发团队:UCLA RePL
  • 核心抽象:二元关系的组合、约束、分解与投影
  • 当前阶段:教程和文档仍在建设,不应视为成熟数据库替代品

OC 判断

好查询语言的目标不是让截图更短,而是减少人脑在业务关系与执行语法之间来回翻译。Prela 的方向值得看,但最终要接受数据库最残酷的测试:正确性、计划质量和诊断体验。语法优雅只负责把人请进门。

为什么重要

  • 对开发者:提供一种重新思考复杂 JOIN 和关系查询可读性的方式。
  • 对语言设计者:展示关系代数如何以更直接的组合形式进入通用编程环境。
  • 对企业:现阶段更适合实验与研究,不适合仅因代码短就迁移生产查询。

参考来源

相关阅读

基于标题、摘要和正文内容自动匹配。

更多科技

评论

围绕这篇文章补充信息、提出问题或分享观察。

0
暂无评论。

发表评论

继续看看 OC 用户围绕这个话题说了什么、做了什么。

相关帖子

更多

做 AI 语音产品时,授权、撤回和审计日志应该怎么落地?

<p>最近看到越来越多关于声音授权的讨论。对开发者来说,真正麻烦的往往不是“模型能不能模仿”,而是授权如何进入系统、生成结果如何追溯,以及授权撤回后该怎么办。</p> <p>我们在做 FlowSpeech 时也碰到过类似问题。我的体会是,不要把“用户勾选过同意”当成一个布尔字段,而应该把它做成一组可以审计的业务对象。</p> <h2>1. 把声音资产和授权分开</h2> <p>声音文件只描述技术属性,例如哈希、上传者、存储位置和创建时间。授权记录则至少要包含授权主体、用途范围、地域、有效期、来源证据和当前状态。这样同一份声音用于个人试听、商业广告、公开播客时,可以绑定不同的授权,而不是共用一个模糊的 consent=true。</p> <h2>2. 每次生成都保存授权快照</h2> <p>生成任务不要只引用当前授权 ID。授权内容以后可能变更,如果任务只查最新状态,历史结果就无法解释。更稳妥的做法是在任务创建时保存授权版本、文本哈希、声音版本、模型版本和操作者。生成出的音频再记录 artifact_id,并反向关联任务。</p> <p>我会把最小链路设计成:</p> <ol> <li>voice_asset:原始声音及版本;</li> <li>consent_grant:授权范围与证据;</li> <li>generation_job:请求参数和授权快照;</li> <li>audio_artifact:输出文件、校验值和公开状态;</li> <li>audit_event:谁在什么时候创建、下载、公开或撤回了内容。</li> </ol> <h2>3. 撤回不是简单删除一行</h2> <p>授权撤回后,系统至少要阻止新任务,并把相关公开音频进入下架队列。已经交付给客户的文件是否能删除,要按照合同和产品能力区分,不能在界面上承诺技术上做不到的“全球删除”。更现实的状态机是 active、suspended、revoked、expired,并明确每个状态允许哪些动作。</p> <h2>4. 对外展示也要可验证</h2> <p>除了后台日志,公开音频最好带上来源标记或可查询的生成记录。水印不是万能方案,但“可识别的音频 + 可验证的元数据 + 清晰的举报入口”组合起来,比一句“AI 生成”更有用。</p> <p>我们现在做的 <a href="https://flowspeech.io/zh">FlowSpeech</a> 主要解决上下文感知、情绪和停顿控制。越往产品化走,越觉得声音效果只是前半程,权限边界和可追溯性才决定这类工具能不能长期使用。</p> <p>大家在实际项目里会把授权证据放在业务数据库、对象存储,还是单独的审计系统?如果授权撤回,你们通常怎么处理已经生成并交付的音频?</p>

FlowSpeech 0 1

奉劝大家不要移民了

<p>对于大多数人而言,移民就是悲剧。实在看不下去了,大家不要往火坑里面跳。 国内发展那么快,你出国去慢车道,消费又高,又存不下钱,又要拼命适应当地环境,何苦? 老老实实在大城市找工作,根据收入买房子上车就好。</p> <p>补充:大城市觉得房价太高太辛苦,就好好学好英语,美国远程回老家省会城市,拿同比一线的收入,三线城市的开销,岂不美哉?</p> <p>转文章: <a href="https://mp.weixin.qq.com/s?__biz=MzAxNTMxMTc0MA==&amp;mid=2651016481&amp;idx=1&amp;sn=6bde227438ea02e3da3673295821692e&amp;chksm=80721b32b705922448a9f8645e8d1a8450e57151b71e58beb64e0addf9485ad0b256a431d68b&amp;mpshare=1&amp;scene=1&amp;srcid=0530QgwbtdDlMP4ZG7Nkonpo&amp;pass_ticket=bz%2FdHaz2YWQrgwhgQlVVXt866SMnyXU53Dd0OzDmMc1uZeu0PqND%2FjdQ6fQk8Bdl#rd"> 中产阶级的地雷阵 #D03 </a></p> <p>更多文章:<a href="https://mp.weixin.qq.com/s?__biz=MzAxNTMxMTc0MA==&amp;mid=503532389&amp;idx=1&amp;sn=84ff5eefb88e1b17f9ec0efb0238140d&amp;chksm=00721d76370594601903172e49477ce0ed149a3ba1bdcb88a300b55c8c552a79ea31134216ae&amp;mpshare=1&amp;scene=1&amp;srcid=0719VQx1dNX5rlraUqjWtCFm&amp;pass_ticket=bz%2FdHaz2YWQrgwhgQlVVXt866SMnyXU53Dd0OzDmMc1uZeu0PqND%2FjdQ6fQk8Bdl#rd">列表</a></p>

halida 198 9

你为什么不移民?

<p>我是一定要移了,在这里连正常呼吸都不行了。以前正常呼吸指的是言论自由,现在是生物学意义的正常呼吸问题了。</p> <p>你为什么不移民?</p>

tinyfool 741 48

你们的Codex额度提前耗完了没?戒断反应如何?

<p>我在第三天就消耗了只剩1%,忍了一天,然后今天干脆用这最后的1%,开着5.6 Sol 极高 强推我一个提示词笔记本应用的功能落地。最终用时3小时,居然还是跑完了。但是现在还是出现一些戒断反应,感觉啥也做不了,就无精打采的,困。</p> <p>我做了一个Prompt Notebook,专门用来收藏或者记录自己手搓的生图提示词。带Chrome一键收藏插件。支持AI优化提示词。支持提示词中提取常用字段作为提示词百科词汇。也自带生图功能用来测提示词。但是要搭配Cloudflare R2+Worker的图床。</p> <p>今天主要是做一个AI模特的资产库。将常用的AI模特固定下来,进行身份设定,以及模特的一些角色定妆图。之后生图可以直接调用AI模特自动作为垫图。</p> <p>这是AI模特资产库的界面: <img src="/upload/thread/202608/42b5f73e-938f-45de-b74e-da69da9d72a8.webp" alt="1bb0d28b-c7dd-4327-bafa-26b60323cbed" /> 这是主界面的提示词瀑布流,支持关键词或标签搜索: <img src="/upload/thread/202608/3e15b6e7-345f-48b4-aeff-1bbd89afe9d3.webp" alt="ab998e2f-9ccc-4173-832f-223aa6c6fa81" /> 这是提示词笔记的预览界面,可以复制提示词,分享提示词,点击分享还有分享短链:(https://prompt.jintao.co.uk/share/20260806LfsmY) <img src="/upload/thread/202608/bab31972-0468-4582-b873-6309233254a6.webp" alt="20260806-201213" /> 可惜现在没额度了,我又不想换模型折腾。现在还有些界面细节和小功能需要落地完善,可能还要虫子要抓。弄好了,打算放GitHub开源。</p> <p>有朋友想试试的么?</p>

shynloc 2 4