ANSI SQLがSUM（行なし）をNULLとして定義するのはなぜですか？

ANSI SQL標準定義（章6.5、セット機能仕様）空の結果セット上の集約関数の次の動作：

COUNT(...) = 0
AVG(...) = NULL
MIN(...) = NULL
MAX(...) = NULL
SUM(...) = NULL

空のセットの平均、最小、最大は定義されていないため、AVG、MIN、MAXにNULLを返すことは完全に理にかなっています。

ただし、最後の1つは気になります。数学的には、空のセットのSUMは明確に定義されています0。基本ケースがすべての一貫性を保つため、加算の中立要素である0を使用します。

SUM({})        = 0    = 0
SUM({5})       = 5    = 0 + 5
SUM({5, 3})    = 8    = 0 + 5 + 3
SUM({5, NULL}) = NULL = 0 + 5 + NULL

定義SUM({})として、null基本的に「何行」他の人とでは収まらない特殊なケースになりません。

SUM({})     = NULL  = NULL
SUM({5})    = 5    != NULL + 5 (= NULL)
SUM({5, 3}) = 8    != NULL + 5 + 3 (= NULL)

私が見逃した選択（SUMがNULL）の明らかな利点はありますか？

私はそれを怖い理由は、（非常に多くの他の同様の「特徴」ルールはアドホックな方法で設定されたことを単にであるISO SQLの集計と数学との接続が少ない彼らは今よりよく理解された時にSQL標準） （*）。

これは、SQL言語における非常に多くの矛盾の1つにすぎません。彼らは言語を教えるのを難しくし、学びにくくし、理解しにくく、使いにくく、あなたが望むものに難しくしますが、それは物事がそうである方法です。後方互換性の明らかな理由により、ルールを「コールド」および「そのように」変更することはできません（ISO委員会が標準の最終バージョンを公開し、ベンダーがその標準を実装しようとすると、それらのベンダーは高く評価されません後続のバージョンで、以前のバージョンの標準の既存の（準拠）実装が「自動的に新しいバージョンに準拠しない」ようにルールが変更された場合は非常に重要です...）

（*）現在の空のセットの集計は、基礎となる二項演算子のID値（=「中立要素」と呼ぶもの）を体系的に返す場合、より一貫して動作することがよりよく理解されるようになりました。COUNTおよびSUMの基礎となる二項演算子は加算であり、そのID値はゼロです。MINおよびMAXの場合、関係するタイプが有限である場合、そのID値はそれぞれ、手元のタイプの最高値と最低値です。ただし、平均化、調和平均、中央値などの場合は、この点で非常に複雑でエキゾチックです。

実用的な意味では、の既存の結果NULLは有用です。次の表とステートメントを考慮してください。

C1 C2
-- --
 1  3 
 2 -1 
 3 -2 

SELECT SUM(C2) FROM T1 WHERE C1 > 9;

SELECT SUM(C2) FROM T1 WHERE C1 < 9;

最初のステートメントはNULLを返し、2番目のステートメントはゼロを返します。空のセットがゼロを返した場合SUM、おそらくカウントを使用して、真のゼロの合計を空のセットと区別する別の手段が必要になります。空のセットに実際にゼロCOALESCEが必要な場合は、単純なものがその要件を満たします。

SELECT COALESCE(SUM(C2),0) FROM T1 WHERE C1 > 9;

私が見ることができる主な違いは、データ型に関するものです。COUNTには、明確に定義された戻り値型：整数があります。他のすべては、調べている列/式のタイプに依存します。戻り値の型は、セットのすべてのメンバーと互換性がある必要があります（float、currency、decimal、bcd、timespanなど）。セットがないため、戻り値の型を示すことはできないため、NULLが最適なオプションです。

注：ほとんどの場合、表示している列の型から戻り値の型を暗示できますが、列だけでなくあらゆる種類のSUMを実行できます。戻り値の型を暗示することは、特定の状況下では不可能ではないにしても、非常に難しくなる可能性があります。