待验证50% 置信事实精确时间

传统软件中 SQL 查询在给定数据下结果确定，编译器对合法源码的输出可复现，而模型没有任何可证明的行为承诺。

1

来源数

50%

置信度

长期有效

时效性

2026/10/13

首次发现

来源

Rich Hickey：AI不是工具，而是另一种东西

涉及实体

SQLproduct 编译器concept

相关事实

待验证SQL静态代码分析是在不实际执行SQL的情况下通过解析语法树检测潜在质量问题的技术71% 相似待验证SQL 在精确性和可控性上提供确定性，每一行逻辑清晰可审计、结果可复现，仍是复杂数据转换、性能调优或合规审计场景的行业标准70% 相似待验证正则表达式、有限状态机、SQL 查询属于确定性程序69% 相似待验证SQL 的图灵完备性是随着 WITH RECURSIVE 语法的引入（SQL:1999 标准）才正式确立的69% 相似已验证SQL注入可以通过参数化查询从根本上隔离数据与指令，而LLM推理过程目前没有等效的「参数化」方案68% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1016798

API

curl https://kongchang.com/api/v1/knowledge/claims/1016798

MCP

get_claim(id=1016798)