使用 Mimer SQL Validator 驗證 SQL 標準相容性：行建構子與核心特性檢測

編寫跨資料庫平台的標準 SQL 時，如何確認某語法是否符合 SQL-92/99/2003 標準？**Mimer SQL Validator** 是免費線上工具，能即時分析 SQL 語句的標準相容性、所需核心/可選特性包，本文以「行建構子 IN 列表」查詢為例演示驗證流程與結果解讀。

待驗證查詢：複合鍵行值比較

SELECT a, c, d
FROM mytable
WHERE (a, b) IN ((1,2), (1,4), (1,5));

場景：表 mytable 擁有複合鍵 (a,b)，需一次查詢多組鍵值組合。

Mimer Validator 驗證結果解讀

特性包含義與資料庫支援現狀

• F641 Row and table constructors： 允許 (val1, val2, ...) 行建構子出現在 IN、VALUES、INSERT 等語境。
• T051 Row types： 系統識別行型別，支援行變數、行比較。
• F561 Full value expressions： 行值可用於任何表達式允許的位置。
• 支援現狀： PostgreSQL、DB2、Firebird、SQL Server (部分) 支援良好；**Oracle 12c 以前不支援**，12c+ 透過 SYS.ODCIVARCHAR2LIST 等集合類型繞道實現；MySQL 8.0+ 開始支援行建構子比較。

跨平台相容改寫方案

若目標資料庫不支援上述特性包，改寫為標準 SQL-92 相容形式：

SELECT a, c, d
FROM mytable
WHERE (a = 1 AND b = 2)
   OR (a = 1 AND b = 4)
   OR (a = 1 AND b = 5);

優勢： 通用性極強，所有成熟 RDBMS 均支援；(a,b) 為複合索引鍵時，優化器通常能識別為多值索引範圍掃描，效能不遜於行建構子寫法。

Mimer Validator 使用指南

1. 訪問 https://developer.mimer.com/validator
2. 貼上 SQL 語句，選擇目標標準版本 (SQL-92/99/2003/2008/2011/2016)。
3. 點擊 **Validate**，查看：
   • 合規性判定 (Valid/Invalid)
   • 所需核心/可選特性包代碼 (如 F641)
   • 語法樹圖形化展示
   • 潛在可移植性警告

實戰建議

• 開發階段**納入 CI 流程**：自動化驗證核心 SQL 模組的標準相容性。
• 文檔化**目標平台支援的特性包清單** (如「我們要求支援 F641, T051」)，作為技術選型依據。
• 優先採用**核心特性** 實現功能，可選特性作為優化/簡化手段並提供降級方案。
• 複雜查詢驗證時，可分模塊驗證 (CTE、子查詢、主查詢) 定位不合規片段。