<!--
$Header: /usr/prj/pg/cvsroot/doc/doc/src/sgml/xaggr.sgml,v 1.6 2001/09/07 11:57:01 i-kaori Exp $
-->

 <chapter id="xaggr">
  <!-- <title>Extending <acronym>SQL</acronym>: Aggregates</title> -->
  <title><acronym>SQL</acronym>の拡張――集約</title>
<indexterm><primary>SQL</primary><secondary sortas="かくちょう">拡張</secondary><tertiary sortas="しゅうやく">集約</tertiary></indexterm><indexterm><primary sortas="しゅうやく">集約</primary><secondary sortas="かくちょう">拡張</secondary></indexterm>
  <para>
   <!-- Aggregate functions  in <productname>Postgres</productname> 
   are expressed as <firstterm>state values</firstterm>
   and <firstterm>state transition functions</firstterm>.
   That is,  an  aggregate  can  be
   defined  in terms of state that is modified whenever an
   input item is processed.  To define a new aggregate
   function, one selects a datatype for the state value,
   an initial value for the state, and a state transition
   function.  The state transition function is just an
   ordinary function that could also be used outside the
   context of the aggregate.  A <firstterm>final function</firstterm>
   can also be specified, in case the desired output of the aggregate
   is different from the data that needs to be kept in the running
   state value. -->

   <productname>Postgres</productname>における集約は、<firstterm>状態値</firstterm>と<firstterm>状態遷移関数</firstterm>の集合で表現されています。つまり、1つの集約はインスタンスの処理により変更された状態として定義することができます。新しい集約関数を定義するためには、状態のデータ型、状態の初期値、そして状態遷移関数のためのデータ型を選択します。状態遷移関数はただの普通の関数で、集約以外の文脈でも使うことができます。求められる集約の結果が動いている状態値のなかにあるべきデータと違う場合は、<firstterm>最終関数</firstterm>も指定することができます。<indexterm><primary sortas="じょうたいち">状態値</primary></indexterm><indexterm><primary sortas="じょうたいせんいかんすう">状態遷移関数</primary></indexterm><indexterm><primary sortas="さいしゅうかんすう">最終関数</primary></indexterm><indexterm><primary sortas="かんすう">関数</primary><secondary sortas="じょうたいせんいかんすう">状態遷移関数</secondary></indexterm><indexterm><primary sortas="かんすう">関数</primary><secondary sortas="さいしゅうかんすう">最終関数</secondary></indexterm>
   
  </para>

  <para>
   <!-- Thus, in addition to the input and result datatypes seen by a user
   of the aggregate, there is an internal state-value datatype that
   may be different from both the input and result types. -->

   したがって、集約のユーザーに見える入力と結果のデータ型に加え、入力と結果の型のどちらとも違う内部状態値のデータ型があります。

  </para>

  <para>
   <!-- If we define an aggregate that does not use a final function,
   we have an aggregate that computes a running function of
   the column values from each row.  "Sum"  is  an
   example  of  this  kind  of aggregate.  "Sum" starts at
   zero and always adds the current  row's  value  to
   its  running  total.  For example, if we want to make a Sum
   aggregate to work on a datatype for complex numbers,
   we only need the addition function for that datatype.
   The aggregate definition is: -->

   もし最終関数を使わない集約を定義したとすると、それぞれの行のカラム値の動いている関数を計算する集約ができます。「Sum」はそのような集約の一例です。「Sum」は0から始まり常に現在の行の値をその時点までの総和に追加します。たとえば、もしSum集約を複素数のデータ型で動作するようにしたければ、そのデータ型の加算関数だけが必要になります。集約定義は以下のようになります（実際の使用では、その集約は「sum」とだけ名付け、複合カラムにどの合計をあてはめるかは<productname>Postgres</productname>にまかせます）。<indexterm><primary>sum</primary></indexterm>

</para>


<programlisting>
CREATE AGGREGATE complex_sum (
    sfunc = complex_add,
    basetype = complex,
    stype = complex,
    initcond = '(0,0)'
);

SELECT complex_sum(a) FROM test_complex;

         +------------+
         |complex_sum |
         +------------+
         |(34,53.9)   |
         +------------+
</programlisting>

<para>
   <!-- 
   (In practice, we'd just name the aggregate "sum", and rely on
   <productname>Postgres</productname> to figure out which kind
   of sum to apply to a complex column.) -->
  </para>

  <para>
   <!-- The above definition of "Sum" will return zero (the initial
   state condition) if there are no non-null input values.
   Perhaps we want to return NULL in that case instead ___ SQL92
   expects "Sum" to behave that way.  We can do this simply by
   omitting the "initcond" phrase, so that the initial state
   condition is NULL.  Ordinarily this would mean that the sfunc
   would need to check for a NULL state-condition input, but for
   "Sum" and some other simple aggregates like "Max" and "Min",
   it's sufficient to insert the first non-null input value into
   the state variable and then start applying the transition function
   at the second non-null input value.  <productname>Postgres</productname>
   will do that automatically if the initial condition is NULL and
   the transition function is marked "strict" (i.e., not to be called
   for NULL inputs). -->

   上記の「Sum」の定義は、もし非NULLの入力値がなければ0（初期状態）を返します。その場合本来は代わりにNULLを返したいのではないかと思いますし、SQL92では「Sum」がそのように動作することを期待しています。そうするためには単に「initcond」句を省略すれば、初期状態がNULLになります。通常はそうすると、sfuncがNULL状態の入力をチェックしなければいけないということを意味しますが、「Sum」、「Max」、「Min」のような他の簡単な集約にとっては、最初の非NULL入力値を状態変数に挿入し、2番目の非NULL入力値でトランザクション関数をあてはめ始めれば十分です。<productname>Postgres</productname>は、もし初期状態がNULLでトランザクション関数が「厳格」とマークされている場合、自動的にそれを実行します（つまりNULL入力として呼び出されないためにです）。

  </para>
  
  <para>
   <!-- 
   Another bit of default behavior for a "strict" transition function
   is that the previous state value is retained unchanged whenever a
   NULL input value is encountered.  Thus, NULLs are ignored.  If you
   need some other behavior for NULL inputs, just define your transition
   function as non-strict, and code it to test for NULL inputs and do
   whatever is needed. -->

   もう1つの「strict」トランザクション関数のデフォルト動作としては、NULL入力値が現われると前の状態値が変わらずに維持されるということがあります。したがってNULLは無視されます。もしNULL入力の他の動作が必要な場合は、単にトランザクション関数を非厳密として定義し、NULL入力のテストとしてコーディングし、必要なことをすればよいのです。

  </para>
  
  <para>
   <!-- 
   "Average" is a more complex example of an aggregate.  It requires
   two pieces of running state: the sum of the inputs and the count
   of the number of inputs.  The final result is obtained by dividing
   these quantities.  Average is typically implemented by using a
   two-element array as the transition state value.  For example,
   the built-in implementation of <function>avg(float8)</function>
   looks like: -->

   「Average」はもっと複雑な集約の一例です。それには2つの動いている状態が必要になります。入力の合計と入力数のカウントです。最終的な結果はこれらの値を割算することによって得られます。Averageは典型的に二要素の配列を状態遷移値として使って実装されます。たとえば、<function>avg(float8)</function>の組み込みの実装は以下のようになっています。<indexterm><primary>average</primary></indexterm>
</para>

<programlisting>
CREATE AGGREGATE avg (
    sfunc = float8_accum,
    basetype = float8,
    stype = float8[],
    finalfunc = float8_avg,
    initcond = '{0,0}'
);
</programlisting>

  <para>
   <!-- For further details see -->
   <!--
   Not available in the Programmer's Guide
  <xref endterm="sql-createaggregate-title"
   linkend="sql-createaggregate-title">.
   -->
   <!-- <command>CREATE AGGREGATE</command> in
   <citetitle>The PostgreSQL User's Guide</citetitle>.
   -->

   さらに詳しい情報は<citetitle>&reference-guide;</citetitle>の<command>CREATE AGGREGATE</command>を参照してください。

  </para>
 </chapter>

<!-- Keep this comment at the end of the file
Local variables:
mode:sgml
sgml-omittag:nil
sgml-shorttag:t
sgml-minimize-attributes:nil
sgml-always-quote-attributes:t
sgml-indent-step:1
sgml-indent-data:t
sgml-parent-document:nil
sgml-default-dtd-file:"./reference.ced"
sgml-exposed-tags:nil
sgml-local-catalogs:("/usr/lib/sgml/catalog")
sgml-local-ecat-files:nil
End:
-->
