HAVING句＝部分集合を作る演算子

CodeZine：HAVING句の力（SQL, HAVING, 関係除算）
リレーショナルデータモデルが極めて精緻な数学によって構築されていることを実感するアーティクルでした。
手続き型言語がデータ量の増大に対して脆弱（データ量のべき乗に比例して処理量が増加する）なのに対して、なぜRDBが大量データの処理を得意としているのか、その根本を垣間見た気がします。