ANSI SQL neden SUM (satır yok) NULL olarak tanımlar?

ANSI SQL standart tanımlar (bölüm 6.5, ayarlanan fonksiyon şartname) boş sonuç kümeleri üzerinde toplama işlevleri için aşağıdaki davranış:

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

AVG, MIN ve MAX için NULL döndürmek mükemmel bir anlam ifade eder, çünkü boş bir setin ortalama, minimum ve maksimum değerleri tanımsızdır.

Sonuncusu ise rahatsız ediyor beni: Matematiksel olarak boş bir setin SUM iyi tanımlanır: 0. 0 kullanarak , ilave durumun nötr elemanı , temel durum olarak her şeyi tutarlı kılar:

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

Tanımlanması SUM({})olarak nulltemelde "hayır" Satırları başkalarıyla sığmayan özel bir durum yapar:

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

Yaptığım seçimin (NUM OLMAKTAN) kaçırmış olduğumun belirgin bir avantajı var mı?

Ben korkuyorum nedeni kuralları (oldukça çok diğer "özellikler" gibi bir geçici moda konulmaması basitçe ISO şimdi olduklarından daha SQL toplamaları ve matematik ile bağlantı az anlaşılan ne zaman bir anda SQL standardı) (*).

SQL dilinde son derece tutarsızlıklardan sadece biri. Dili öğretmeyi zorlaştırır, öğrenmeyi zorlaştırır, anlaşılmayı zorlaştırır, kullanmayı zorlaştırır, istediğinizi zorlaştırır, ancak bu tam olarak böyledir. Kurallar "soğuk" ve "aynen böyle" değiştirilemez, geriye dönük uyumluluk nedeniyle barizdir (ISO komitesi standardın son bir versiyonunu yayınlarsa ve o zaman bu standardın uygulanması için belirlenen satıcılar, o zaman bu satıcılar takdir etmez. daha sonraki bir sürümde, kurallar, standardın eski sürümünün mevcut (uyumlu) uygulamalarının "yeni sürüme otomatik olarak uymaz" şeklinde değiştirilip değiştirilmediğini gösterir.

(*) Eldeki boş bir küme üzerindeki toplamaların , altta yatan ikili operatörün kimlik değerini (= 'nötr element' olarak adlandırdığınız şey) sistematik olarak döndürmeleri durumunda daha tutarlı davrandığı daha iyi anlaşılmıştır . Bu COUNT ve SUM için kullanılan ikili işlevin eklenmesi ve kimlik değerinin sıfır olması. MIN ve MAX için, söz konusu tipler sonlu ise, bu kimlik değeri eldeki tipin sırasıyla en yüksek ve en düşük değeridir. Ortalama, harmonik araçlar, medyanlar, vb. Gibi durumlar, bu açıdan oldukça karmaşık ve egzotiktir.

Pragmatik bir anlamda mevcut sonucu NULLfaydalıdır. Aşağıdaki tablo ve ifadeleri göz önünde bulundurun:

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

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

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

İlk ifade NULL, ikinci ifade sıfır döndürür. Boş bir küme sıfıra SUMdönerse, gerçek bir sıfır toplamını boş bir kümeden ayırmak için başka bir araca ihtiyacımız olur, belki de sayı kullanarak. Eğer gerçekten boş set için sıfır istiyorsak, o zaman basit bir COALESCEgereksinimi karşılayacaktır.

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

Görebildiğim en büyük fark, veri türü ile ilgili. COUNT'ın iyi tanımlanmış bir geri ödeme türü var: Bir tam sayı. Diğerleri, baktıkları sütun / ifade türüne bağlıdır. Geri dönüş tipleri, setin tüm üyeleri ile uyumlu olmalıdır (bence float, para birimi, ondalık, bcd, zaman aralığı, ...). Küme olmadığından, geri dönüş türünü ima edemezsiniz, bu nedenle NULL en iyi seçeneğinizdir.

Not: Çoğu durumda, bakmakta olduğunuz sütun türünden bir dönüş türü ima edebilirsiniz ancak SUM'ları yalnızca sütunlarda değil her türlü şeyde de yapabilirsiniz. Belirli standartlarda, özellikle standardın olası genişlemelerini düşündüğünüzde (dinamik tipler akla geliyor) imkansız değilse, bir geri dönüş tipi uygulamak çok zor olabilir.