Unverified50% confidenceFactExact time
SQL 的图灵完备性是随着 WITH RECURSIVE 语法的引入（SQL:1999 标准）才正式确立的
1
Sources
50%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
UnverifiedSQL was born in the 1970s, elevating database queries from procedural operations to declarative expressions that describe the desired result set.71% similarUnverified现代 SQL（尤其是支持递归 CTE、窗口函数的方言如 PostgreSQL）在理论上是图灵完备的71% similarUnverifiedSQL is a classic example of a declarative language, where users declare what data they want and the database query optimizer decides the optimal execution plan on its own.68% similarUnverifiedSqlsure is a tool that provides deterministic semantic checking for AI-generated SQL.67% similarUnverifiedSqlsure does not rely on another AI model to judge whether SQL is correct or incorrect; instead, it validates SQL semantics in a rule-based, predictable manner.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)