SML#では，標準SQLに含まれる代表的なクエリ構文の多くを そのままSML#の式としてプログラム中に書くことができる． SQLクエリそのものや，それを構成する部分式は，SML#では 第一級のオブジェクトである． すなわち，それらにはSML#の型が与えられ，ML式と同様に， SML#の型検査の枠組みの下で整合性が検査される． また，型が合っている限り，SQLとSML#の他の言語機能とを 自由に組み合わせることができる． 例えば，部分的に構築されたSQLクエリやSQL式をデータとして取って おき，それらを動的に組み合わせて完全なSQLクエリを作ることができる．