ANSI SQL이 SUM (no rows)을 NULL로 정의하는 이유는 무엇입니까?

ANSI SQL 표준을 정의 (제 6.5 장, 설정 기능 사양) 빈 결과 집합에 집계 함수에 대한 다음과 같은 동작 :

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

빈 세트의 평균, 최소 및 최대 값이 정의되어 있지 않으므로 AVG, MIN 및 MAX에 NULL을 반환하는 것이 완벽합니다.

그러나 마지막 것은 나를 귀찮게합니다 : 수학적으로 빈 세트의 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)의 명백한 이점이 있습니까?

그 이유 는 SQL 집계와 수학과의 연관성이 현재보다 이해가 잘되지 않는시기에 규칙이 임시 방식 ( ISO SQL 표준 의 다른 많은 "기능"과 같이 )으로 설정 되었기 때문입니다. (*).

SQL 언어에서 매우 많은 불일치 중 하나 일뿐입니다. 그것들은 언어를 가르치기 어렵고 배우기 어렵고 이해하기 어렵고 사용하기 어렵고 원하는 것을 어렵게 만듭니다. 그러나 그것은 바로 상황입니다. 하위 호환성의 명백한 이유로 규칙을 "감기"및 "그런 식으로"변경할 수 없습니다 (ISO위원회에서 표준의 최종 버전을 게시 한 후 공급 업체가 해당 표준을 구현하기로 결정한 경우 해당 공급 업체는 감사하지 않습니다. 후속 버전에서 표준의 이전 버전에 대한 기존 (호환되는) 구현이 새 버전을 "자동으로 준수하지 못하도록"규칙이 변경되면 ...)

(*) 빈 집합에 대한 집계 는 기본 이진 연산자 의 ID 값 (= '중립 요소'라고 함)을 체계적으로 반환하면 더 일관되게 동작한다는 것이 더 잘 이해됩니다 . COUNT 및 SUM에 대한 기본 이진 연산자는 더하기이며 해당 ID 값은 0입니다. MIN 및 MAX의 경우 관련 유형이 유한 한 경우 해당 항등 값은 각각 해당 유형의 최고 및 최저 값입니다. 그러나 평균화, 고조파 수단, 중간 값 등과 같은 사례는이 점에서 매우 복잡하고 이국적입니다.

실용적인 의미에서 기존 결과 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을 반환하고 두 번째 문은 0을 반환합니다. 빈 세트가 0을 반환 SUM하면 실제 개수와 0을 빈 세트와 구별하는 다른 방법이 필요할 수 있습니다. 빈 세트에 실제로 0을 원하면 간단한 COALESCE요구 사항을 제공합니다.

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

내가 볼 수있는 주요 차이점은 데이터 유형과 관련이 있습니다. COUNT에는 잘 정의 된 반환 유형이 있습니다. 정수 다른 모든 항목은보고있는 열 / 표현 유형에 따라 다릅니다. 반환 유형은 세트의 모든 멤버와 호환 가능해야합니다 (float, currency, decimal, bcd, timespan, ...). 집합이 없으므로 반환 유형을 암시 할 수 없으므로 NULL이 가장 좋습니다.

참고 : 대부분의 경우보고있는 열 형식에서 반환 형식을 암시 할 수 있지만 열뿐만 아니라 모든 종류의 작업에서 SUM을 수행 할 수 있습니다. 특정 상황에서, 특히 표준의 확장 가능성에 대해 생각할 때 (동적 유형이 떠오를 때) 리턴 유형을 암시하는 것은 매우 어려울 수 있습니다.