第19章で定義されている通り， SML#ではSQLクエリのために以下の拡張構文を導入している．

$⟨$sql$\mathrm{⟩}$および$⟨$sqlfn$\mathrm{⟩}$は以下の通りである．

$⟨$sqlexp$\mathrm{⟩}$は 22.4節で， $⟨$sqlselect$\mathrm{⟩}$および$⟨$sqlclause$\mathrm{⟩}$は 22.5節で， $⟨$sqlcommand$\mathrm{⟩}$は 22.6節で， それぞれ定義する．

これらの構文のうち_sqlで始まる式に現れる $⟨$pat$\mathrm{⟩}$および$⟨$sql$\mathrm{⟩}$の中では， ...($\mathrm{⟨}$exp$\mathrm{⟩}$)または (...$\mathrm{⟨}$exp$\mathrm{⟩}$)という形で囲われる$⟨$exp$\mathrm{⟩}$の中を除き （22.4節， 22.5節，および 22.6節参照）， 以下は予約語として扱われる （この予約語のリストは 第17.2節からの再掲である）． これらの予約語をSQL予約語と呼ぶ．

asc all begin by commit cross default delete desc distinct fetch first from group inner insert into is join limit natural next not null offset only on or order rollback row rows select set update values where

また，これらの構文には以下の制限がある．

• •

  _sqlに続く$⟨$pat$\mathrm{⟩}$は開き丸括弧“(”から 始まってはならない．

• •

  式（トップレベル）の _sql $\mathrm{⟨}$sql$\mathrm{⟩}$の $⟨$sql$\mathrm{⟩}$は， SQL予約語で始まらなければならない．

• •

  式（トップレベル）の _sql $\mathrm{⟨}$sql$\mathrm{⟩}$は， 以下の位置以外に現れてはならない．

  • –

    valやfun宣言の=の右側

  • –

    let式のinとendの間

  • –

    逐次実行式($\mathrm{\cdots }$;$\mathrm{\cdots }$)の中

  • –

    組ではない式を囲う丸括弧の中

  • –

    上記4つの位置にあるfn式の=>の右側