SQL構文は、似ていない可能性がある型を1つの検索結果になるように適合させなければなりません。解決アルゴリズムは1つのunion問い合わせの出力列ごとに適用されます。INTERSECT構文とEXCEPT構文は、UNIONと同じ方法で、似ていない可能性がある型の解決を行います。同一のアルゴリズムを使用して、その要素式を適合させ、結果のデータ型を選択します。UNION、CASEおよび関連する構文の型解決もし全ての入力値がunknown型だった場合、text型(文字列カテゴリの好ましい型)として解決されます。ない場合は、結果型を選ぶ間はunknown入力は無視します。unknownではない入力値が全て同じ型カテゴリでなければ失敗します。最初のunknownではない入力データ型を選択します。このデータ型は、そのカテゴリの好ましい型であるか、もしくは全てのunknownではない入力値を暗黙的にこのデータ型に型変換することを可能にします。全ての入力値を選択された型に変換します。rows)ここで、unknown型のリテラル'b'はtextとして解決されます。rows)numeric型のリテラル1.2とinteger型の値1は、暗黙的にnumericにキャスト可能です。したがって、この型が使用されます。rows)ここで、real型を暗黙的にinteger型にキャストすることはできませんが、integer型を暗黙的にreal型にキャストすることはできるため、UNIONの結果データ型はreal型として解決されます。