Unverified50% confidenceFactExact time
SQL 的图灵完备性是随着 WITH RECURSIVE 语法的引入（SQL:1999 标准）才正式确立的
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
UnverifiedSQL 诞生于 1970 年代，将数据库查询从过程式操作提升为描述所需结果集的声明式表达71% similarUnverified现代 SQL（尤其是支持递归 CTE、窗口函数的方言如 PostgreSQL）在理论上是图灵完备的71% similarUnverifiedSQL 是经典的声明式语言示例，用户声明想要什么数据，数据库查询优化器自行决定最优执行计划68% similarUnverifiedSqlsure 是一款为AI生成的SQL提供确定性语义检查的工具67% similarUnverifiedSqlsure 不依赖另一个AI模型来判断SQL对错，而是通过规则化、可预测的方式验证SQL语义66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/528102API
curl https://kongchang.com/api/v1/knowledge/claims/528102MCP
get_claim(id=528102)