バージョンごとのドキュメント一覧

11.10. 演算子クラスと演算子族 #

<title>Operator Classes and Operator Families</title>

An index definition can specify an <firstterm>operator class</firstterm> for each column of an index. インデックス定義では、インデックスの各列に演算子クラスを指定することができます。

CREATE INDEX name ON table (column opclass [ ( opclass_options ) ] [sort options] [, ...]);

The operator class identifies the operators to be used by the index for that column. For example, a B-tree index on the type <type>int4</type> would use the <literal>int4_ops</literal> class; this operator class includes comparison functions for values of type <type>int4</type>. In practice the default operator class for the column's data type is usually sufficient. The main reason for having operator classes is that for some data types, there could be more than one meaningful index behavior. For example, we might want to sort a complex-number data type either by absolute value or by real part. We could do this by defining two operator classes for the data type and then selecting the proper class when making an index. The operator class determines the basic sort ordering (which can then be modified by adding sort options <literal>COLLATE</literal>, <literal>ASC</literal>/<literal>DESC</literal> and/or <literal>NULLS FIRST</literal>/<literal>NULLS LAST</literal>). 演算子クラスにより、その列のインデックスで使用される演算子が特定されます。 例えば、int4型に対するB-treeインデックスには、int4_opsクラスを使用します。 この演算子クラスには、int4型の値用の比較関数が含まれています。 実際には、通常、列のデータ型のデフォルト演算子クラスで十分です。 演算子クラスを持つ主な理由は、いくつかのデータ型では、複数の有意義なインデックスの振舞いがあり得るということです。 例えば、複素数データ型を、絶対値でソートしたいかもしれませんし、実数部でソートしたいかもしれません。 この処理は、そのデータ型の2つの演算子クラスを定義した上で、インデックスを作成する際に適切なクラスを選択することで、実行可能です。 演算子クラスは基本的なソート順を決定します。 (これはソートオプションCOLLATEASC/DESCNULLS FIRST/NULLS LASTを付けることで変更できます。)

There are also some built-in operator classes besides the default ones: 以下のように、デフォルトの演算子クラスとは別に、組み込み演算子クラスがいくつかあります。

The following query shows all defined operator classes: 以下の問い合わせは、定義済みの演算子クラスを全て返します。

SELECT am.amname AS index_method,
       opc.opcname AS opclass_name,
       opc.opcintype::regtype AS indexed_type,
       opc.opcdefault AS is_default
    FROM pg_am am, pg_opclass opc
    WHERE opc.opcmethod = am.oid
    ORDER BY index_method, opclass_name;

An operator class is actually just a subset of a larger structure called an <firstterm>operator family</firstterm>. In cases where several data types have similar behaviors, it is frequently useful to define cross-data-type operators and allow these to work with indexes. To do this, the operator classes for each of the types must be grouped into the same operator family. The cross-type operators are members of the family, but are not associated with any single class within the family. 実際のところ演算子クラスは、演算子族と呼ばれる、より大きな構造の一部でしかありません。 複数のデータ型が似たような動作を行う場合、データ型を跨る演算子を定義し、インデックスで使用可能とすることが有用な場合がよくあります。 このためには、各型に対する演算子クラスが同一の演算子族にまとめられている必要があります。 データ型を跨る演算子は演算子族の要素です。演算子族内の1つの演算子クラスに結びついているわけではありません。

This expanded version of the previous query shows the operator family each operator class belongs to: 以下は前述の問い合わせを拡張したバージョンで、各演算子クラスが属する演算子族を示します。

SELECT am.amname AS index_method,
       opc.opcname AS opclass_name,
       opf.opfname AS opfamily_name,
       opc.opcintype::regtype AS indexed_type,
       opc.opcdefault AS is_default
    FROM pg_am am, pg_opclass opc, pg_opfamily opf
    WHERE opc.opcmethod = am.oid AND
          opc.opcfamily = opf.oid
    ORDER BY index_method, opclass_name;

This query shows all defined operator families and all the operators included in each family: 以下の問い合わせは、定義済みの演算子族と各演算子族に含まれる演算子をすべて表示します。

SELECT am.amname AS index_method,
       opf.opfname AS opfamily_name,
       amop.amopopr::regoperator AS opfamily_operator
    FROM pg_am am, pg_opfamily opf, pg_amop amop
    WHERE opf.opfmethod = am.oid AND
          amop.amopfamily = opf.oid
    ORDER BY index_method, opfamily_name, opfamily_operator;

ヒント

<xref linkend="app-psql"/> has commands <command>\dAc</command>, <command>\dAf</command>, and <command>\dAo</command>, which provide slightly more sophisticated versions of these queries. psqlには\dAc\dAf\dAoコマンドがあり、これらのクエリのもう少し洗練されたバージョンを提供します。