Evidence methodology

数据库兼容性结论的证据分级

同一条规则可以对应不同强度的目标库证据。每项结论均同时标注证据级别,公开资料不表述为实测,未覆盖项不表述为兼容。

四级证据口径

当前有效能力矩阵中有 218 条 feature 带版本观察,其中 138 条 同时登记当前工件锚点。两者按目标矩阵条目统计。本次正式构建已有 138 条 工件通过完整性与目标身份门禁,可进入证据中心逐条对账。

级别进入条件能证明仍需确认
工件锚点目标 feature 同时登记版本、标准工件引用,并在发布候选中通过完整性校验。可追溯的代表性探针在该版本与模式下得到工件记录中的结果。客户参数、数据分布、驱动与完整业务链路。
版本观察目标 feature 记录实测版本,但当前没有通过公开工件门禁。存在该版本下的历史实测记录。记录是否仍与当前规则、矩阵和标准工件一致。
公开文档结论来自目标厂商公开资料,来源可追溯。文档声明的语法或能力边界。版本补丁差异、现场组合条件与运行语义,建议 PoC 复核。
待核验没有当前目标条目的明确版本实测,也没有足够文档证据。规则已识别到需要处置的源端特征。目标端支持度与改写结论,必须补证后再定。

真机核验如何形成证据

当前批次的验证从规则正例或人工 fixture 出发,执行计划、目标身份和结果分类共同绑定到离线工件。新的矩阵升级只接收经过复核的当前锚点;历史版本记录不会自动视为当前工件。

  1. 确定来源从规则 examples 或专用 fixture 重建源 SQL,保留规则 ID 与 feature。
  2. 绑定环境记录公开产品、版本与兼容模式,环境错误不产生能力结论。
  3. 分类结果区分 pass、reject、probe_error 与 skip,失败和未覆盖不会静默消失。
  4. 人工接纳核对完整性、语义深度和建议内容后,才把证据锚定到能力矩阵。
边界:代表性 SQL 通过不等于任意 SQL 都兼容,语法通过不等于业务语义等价,真机证据也不代表自动生成的改写已经得到验证。

“待评估”状态的适用范围

数据库迁移的未知项通常来自版本、模式、参数、扩展或业务上下文差异。未知项会降低置信度并进入后续 PoC 清单,避免将验证风险延迟至上线窗口。

待真机核验是处置台账中的正式状态;只有补充可复核证据后,状态才能升级。

同题真机月报

查看 2026-07 国产数据库 Oracle 同题探针受理率。月报公开固定 case、目标身份、结果分类、SQL digest 与不可变证据链接;受理率仍不等于语义或性能兼容。