mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-10-05 01:36:56 +02:00
ca76df425b
an <xref/>.
804 lines
26 KiB
Plaintext
804 lines
26 KiB
Plaintext
<!--
|
|
$PostgreSQL: pgsql/doc/src/sgml/xindex.sgml,v 1.41 2005/07/19 01:27:59 neilc Exp $
|
|
-->
|
|
|
|
<sect1 id="xindex">
|
|
<title>Interfacing Extensions To Indexes</title>
|
|
|
|
<indexterm zone="xindex">
|
|
<primary>index</primary>
|
|
<secondary>for user-defined data type</secondary>
|
|
</indexterm>
|
|
|
|
<para>
|
|
The procedures described thus far let you define new types, new
|
|
functions, and new operators. However, we cannot yet define an
|
|
index on a column of a new data type. To do this, we must define an
|
|
<firstterm>operator class</> for the new data type. Later in this
|
|
section, we will illustrate this concept in an example: a new
|
|
operator class for the B-tree index method that stores and sorts
|
|
complex numbers in ascending absolute value order.
|
|
</para>
|
|
|
|
<note>
|
|
<para>
|
|
Prior to <productname>PostgreSQL</productname> release 7.3, it was
|
|
necessary to make manual additions to the system catalogs
|
|
<classname>pg_amop</>, <classname>pg_amproc</>, and
|
|
<classname>pg_opclass</> in order to create a user-defined
|
|
operator class. That approach is now deprecated in favor of using
|
|
<xref linkend="sql-createopclass" endterm="sql-createopclass-title">,
|
|
which is a much simpler and less error-prone way of creating the
|
|
necessary catalog entries.
|
|
</para>
|
|
</note>
|
|
|
|
<sect2 id="xindex-im">
|
|
<title>Index Methods and Operator Classes</title>
|
|
|
|
<para>
|
|
The <classname>pg_am</classname> table contains one row for every
|
|
index method (internally known as access method). Support for
|
|
regular access to tables is built into
|
|
<productname>PostgreSQL</productname>, but all index methods are
|
|
described in <classname>pg_am</classname>. It is possible to add a
|
|
new index method by defining the required interface routines and
|
|
then creating a row in <classname>pg_am</classname> — but that is
|
|
beyond the scope of this chapter (see <xref linkend="indexam">).
|
|
</para>
|
|
|
|
<para>
|
|
The routines for an index method do not directly know anything
|
|
about the data types that the index method will operate on.
|
|
Instead, an <firstterm>operator
|
|
class</><indexterm><primary>operator class</></indexterm>
|
|
identifies the set of operations that the index method needs to use
|
|
to work with a particular data type. Operator classes are so
|
|
called because one thing they specify is the set of
|
|
<literal>WHERE</>-clause operators that can be used with an index
|
|
(i.e., can be converted into an index-scan qualification). An
|
|
operator class may also specify some <firstterm>support
|
|
procedures</> that are needed by the internal operations of the
|
|
index method, but do not directly correspond to any
|
|
<literal>WHERE</>-clause operator that can be used with the index.
|
|
</para>
|
|
|
|
<para>
|
|
It is possible to define multiple operator classes for the same
|
|
data type and index method. By doing this, multiple
|
|
sets of indexing semantics can be defined for a single data type.
|
|
For example, a B-tree index requires a sort ordering to be defined
|
|
for each data type it works on.
|
|
It might be useful for a complex-number data type
|
|
to have one B-tree operator class that sorts the data by complex
|
|
absolute value, another that sorts by real part, and so on.
|
|
Typically, one of the operator classes will be deemed most commonly
|
|
useful and will be marked as the default operator class for that
|
|
data type and index method.
|
|
</para>
|
|
|
|
<para>
|
|
The same operator class name
|
|
can be used for several different index methods (for example, both B-tree
|
|
and hash index methods have operator classes named
|
|
<literal>int4_ops</literal>), but each such class is an independent
|
|
entity and must be defined separately.
|
|
</para>
|
|
</sect2>
|
|
|
|
<sect2 id="xindex-strategies">
|
|
<title>Index Method Strategies</title>
|
|
|
|
<para>
|
|
The operators associated with an operator class are identified by
|
|
<quote>strategy numbers</>, which serve to identify the semantics of
|
|
each operator within the context of its operator class.
|
|
For example, B-trees impose a strict ordering on keys, lesser to greater,
|
|
and so operators like <quote>less than</> and <quote>greater than or equal
|
|
to</> are interesting with respect to a B-tree.
|
|
Because
|
|
<productname>PostgreSQL</productname> allows the user to define operators,
|
|
<productname>PostgreSQL</productname> cannot look at the name of an operator
|
|
(e.g., <literal><</> or <literal>>=</>) and tell what kind of
|
|
comparison it is. Instead, the index method defines a set of
|
|
<quote>strategies</>, which can be thought of as generalized operators.
|
|
Each operator class specifies which actual operator corresponds to each
|
|
strategy for a particular data type and interpretation of the index
|
|
semantics.
|
|
</para>
|
|
|
|
<para>
|
|
The B-tree index method defines five strategies, shown in <xref
|
|
linkend="xindex-btree-strat-table">.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-btree-strat-table">
|
|
<title>B-tree Strategies</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Operation</entry>
|
|
<entry>Strategy Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>less than</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
<row>
|
|
<entry>less than or equal</entry>
|
|
<entry>2</entry>
|
|
</row>
|
|
<row>
|
|
<entry>equal</entry>
|
|
<entry>3</entry>
|
|
</row>
|
|
<row>
|
|
<entry>greater than or equal</entry>
|
|
<entry>4</entry>
|
|
</row>
|
|
<row>
|
|
<entry>greater than</entry>
|
|
<entry>5</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
Hash indexes express only bitwise equality, and so they use only one
|
|
strategy, shown in <xref linkend="xindex-hash-strat-table">.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-hash-strat-table">
|
|
<title>Hash Strategies</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Operation</entry>
|
|
<entry>Strategy Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>equal</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
R-tree indexes express relationships in two-dimensional space.
|
|
They use twelve strategies, shown in
|
|
<xref linkend="xindex-rtree-strat-table">. Four of these are true
|
|
two-dimensional tests (overlaps, same, contains, contained by);
|
|
four of them consider only the X direction; and the other four
|
|
provide the same tests in the Y direction.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-rtree-strat-table">
|
|
<title>R-tree Strategies</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Operation</entry>
|
|
<entry>Strategy Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>strictly left of</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
<row>
|
|
<entry>does not extend to right of</entry>
|
|
<entry>2</entry>
|
|
</row>
|
|
<row>
|
|
<entry>overlaps</entry>
|
|
<entry>3</entry>
|
|
</row>
|
|
<row>
|
|
<entry>does not extend to left of</entry>
|
|
<entry>4</entry>
|
|
</row>
|
|
<row>
|
|
<entry>strictly right of</entry>
|
|
<entry>5</entry>
|
|
</row>
|
|
<row>
|
|
<entry>same</entry>
|
|
<entry>6</entry>
|
|
</row>
|
|
<row>
|
|
<entry>contains</entry>
|
|
<entry>7</entry>
|
|
</row>
|
|
<row>
|
|
<entry>contained by</entry>
|
|
<entry>8</entry>
|
|
</row>
|
|
<row>
|
|
<entry>does not extend above</entry>
|
|
<entry>9</entry>
|
|
</row>
|
|
<row>
|
|
<entry>strictly below</entry>
|
|
<entry>10</entry>
|
|
</row>
|
|
<row>
|
|
<entry>strictly above</entry>
|
|
<entry>11</entry>
|
|
</row>
|
|
<row>
|
|
<entry>does not extend below</entry>
|
|
<entry>12</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
GiST indexes are even more flexible: they do not have a fixed set of
|
|
strategies at all. Instead, the <quote>consistency</> support routine
|
|
of each particular GiST operator class interprets the strategy numbers
|
|
however it likes.
|
|
</para>
|
|
|
|
<para>
|
|
Note that all strategy operators return Boolean values. In
|
|
practice, all operators defined as index method strategies must
|
|
return type <type>boolean</type>, since they must appear at the top
|
|
level of a <literal>WHERE</> clause to be used with an index.
|
|
</para>
|
|
|
|
<para>
|
|
By the way, the <structfield>amorderstrategy</structfield> column
|
|
in <classname>pg_am</> tells whether
|
|
the index method supports ordered scans. Zero means it doesn't; if it
|
|
does, <structfield>amorderstrategy</structfield> is the strategy
|
|
number that corresponds to the ordering operator. For example, B-tree
|
|
has <structfield>amorderstrategy</structfield> = 1, which is its
|
|
<quote>less than</quote> strategy number.
|
|
</para>
|
|
</sect2>
|
|
|
|
<sect2 id="xindex-support">
|
|
<title>Index Method Support Routines</title>
|
|
|
|
<para>
|
|
Strategies aren't usually enough information for the system to figure
|
|
out how to use an index. In practice, the index methods require
|
|
additional support routines in order to work. For example, the B-tree
|
|
index method must be able to compare two keys and determine whether one
|
|
is greater than, equal to, or less than the other. Similarly, the
|
|
R-tree index method must be able to compute
|
|
intersections, unions, and sizes of rectangles. These
|
|
operations do not correspond to operators used in qualifications in
|
|
SQL commands; they are administrative routines used by
|
|
the index methods, internally.
|
|
</para>
|
|
|
|
<para>
|
|
Just as with strategies, the operator class identifies which specific
|
|
functions should play each of these roles for a given data type and
|
|
semantic interpretation. The index method defines the set
|
|
of functions it needs, and the operator class identifies the correct
|
|
functions to use by assigning them to the <quote>support function numbers</>.
|
|
</para>
|
|
|
|
<para>
|
|
B-trees require a single support function, shown in <xref
|
|
linkend="xindex-btree-support-table">.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-btree-support-table">
|
|
<title>B-tree Support Functions</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Function</entry>
|
|
<entry>Support Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>
|
|
Compare two keys and return an integer less than zero, zero, or
|
|
greater than zero, indicating whether the first key is less than, equal to,
|
|
or greater than the second.
|
|
</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
Hash indexes likewise require one support function, shown in <xref
|
|
linkend="xindex-hash-support-table">.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-hash-support-table">
|
|
<title>Hash Support Functions</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Function</entry>
|
|
<entry>Support Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>Compute the hash value for a key</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
R-tree indexes require three support functions,
|
|
shown in <xref linkend="xindex-rtree-support-table">.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-rtree-support-table">
|
|
<title>R-tree Support Functions</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Function</entry>
|
|
<entry>Support Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>union</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
<row>
|
|
<entry>intersection</entry>
|
|
<entry>2</entry>
|
|
</row>
|
|
<row>
|
|
<entry>size</entry>
|
|
<entry>3</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
GiST indexes require seven support functions,
|
|
shown in <xref linkend="xindex-gist-support-table">.
|
|
</para>
|
|
|
|
<table tocentry="1" id="xindex-gist-support-table">
|
|
<title>GiST Support Functions</title>
|
|
<tgroup cols="2">
|
|
<thead>
|
|
<row>
|
|
<entry>Function</entry>
|
|
<entry>Support Number</entry>
|
|
</row>
|
|
</thead>
|
|
<tbody>
|
|
<row>
|
|
<entry>consistent</entry>
|
|
<entry>1</entry>
|
|
</row>
|
|
<row>
|
|
<entry>union</entry>
|
|
<entry>2</entry>
|
|
</row>
|
|
<row>
|
|
<entry>compress</entry>
|
|
<entry>3</entry>
|
|
</row>
|
|
<row>
|
|
<entry>decompress</entry>
|
|
<entry>4</entry>
|
|
</row>
|
|
<row>
|
|
<entry>penalty</entry>
|
|
<entry>5</entry>
|
|
</row>
|
|
<row>
|
|
<entry>picksplit</entry>
|
|
<entry>6</entry>
|
|
</row>
|
|
<row>
|
|
<entry>equal</entry>
|
|
<entry>7</entry>
|
|
</row>
|
|
</tbody>
|
|
</tgroup>
|
|
</table>
|
|
|
|
<para>
|
|
Unlike strategy operators, support functions return whichever data
|
|
type the particular index method expects; for example in the case
|
|
of the comparison function for B-trees, a signed integer.
|
|
</para>
|
|
</sect2>
|
|
|
|
<sect2 id="xindex-example">
|
|
<title>An Example</title>
|
|
|
|
<para>
|
|
Now that we have seen the ideas, here is the promised example of
|
|
creating a new operator class.
|
|
(You can find a working copy of this example in
|
|
<filename>src/tutorial/complex.c</filename> and
|
|
<filename>src/tutorial/complex.sql</filename> in the source
|
|
distribution.)
|
|
The operator class encapsulates
|
|
operators that sort complex numbers in absolute value order, so we
|
|
choose the name <literal>complex_abs_ops</literal>. First, we need
|
|
a set of operators. The procedure for defining operators was
|
|
discussed in <xref linkend="xoper">. For an operator class on
|
|
B-trees, the operators we require are:
|
|
|
|
<itemizedlist spacing="compact">
|
|
<listitem><simpara>absolute-value less-than (strategy 1)</></>
|
|
<listitem><simpara>absolute-value less-than-or-equal (strategy 2)</></>
|
|
<listitem><simpara>absolute-value equal (strategy 3)</></>
|
|
<listitem><simpara>absolute-value greater-than-or-equal (strategy 4)</></>
|
|
<listitem><simpara>absolute-value greater-than (strategy 5)</></>
|
|
</itemizedlist>
|
|
</para>
|
|
|
|
<para>
|
|
The least error-prone way to define a related set of comparison operators
|
|
is to write the B-tree comparison support function first, and then write the
|
|
other functions as one-line wrappers around the support function. This
|
|
reduces the odds of getting inconsistent results for corner cases.
|
|
Following this approach, we first write
|
|
|
|
<programlisting>
|
|
#define Mag(c) ((c)->x*(c)->x + (c)->y*(c)->y)
|
|
|
|
static int
|
|
complex_abs_cmp_internal(Complex *a, Complex *b)
|
|
{
|
|
double amag = Mag(a),
|
|
bmag = Mag(b);
|
|
|
|
if (amag < bmag)
|
|
return -1;
|
|
if (amag > bmag)
|
|
return 1;
|
|
return 0;
|
|
}
|
|
</programlisting>
|
|
|
|
Now the less-than function looks like
|
|
|
|
<programlisting>
|
|
PG_FUNCTION_INFO_V1(complex_abs_lt);
|
|
|
|
Datum
|
|
complex_abs_lt(PG_FUNCTION_ARGS)
|
|
{
|
|
Complex *a = (Complex *) PG_GETARG_POINTER(0);
|
|
Complex *b = (Complex *) PG_GETARG_POINTER(1);
|
|
|
|
PG_RETURN_BOOL(complex_abs_cmp_internal(a, b) < 0);
|
|
}
|
|
</programlisting>
|
|
|
|
The other four functions differ only in how they compare the internal
|
|
function's result to zero.
|
|
</para>
|
|
|
|
<para>
|
|
Next we declare the functions and the operators based on the functions
|
|
to SQL:
|
|
|
|
<programlisting>
|
|
CREATE FUNCTION complex_abs_lt(complex, complex) RETURNS bool
|
|
AS '<replaceable>filename</replaceable>', 'complex_abs_lt'
|
|
LANGUAGE C IMMUTABLE STRICT;
|
|
|
|
CREATE OPERATOR < (
|
|
leftarg = complex, rightarg = complex, procedure = complex_abs_lt,
|
|
commutator = > , negator = >= ,
|
|
restrict = scalarltsel, join = scalarltjoinsel
|
|
);
|
|
</programlisting>
|
|
It is important to specify the correct commutator and negator operators,
|
|
as well as suitable restriction and join selectivity
|
|
functions, otherwise the optimizer will be unable to make effective
|
|
use of the index. Note that the less-than, equal, and
|
|
greater-than cases should use different selectivity functions.
|
|
</para>
|
|
|
|
<para>
|
|
Other things worth noting are happening here:
|
|
|
|
<itemizedlist>
|
|
<listitem>
|
|
<para>
|
|
There can only be one operator named, say, <literal>=</literal>
|
|
and taking type <type>complex</type> for both operands. In this
|
|
case we don't have any other operator <literal>=</literal> for
|
|
<type>complex</type>, but if we were building a practical data
|
|
type we'd probably want <literal>=</literal> to be the ordinary
|
|
equality operation for complex numbers (and not the equality of
|
|
the absolute values). In that case, we'd need to use some other
|
|
operator name for <function>complex_abs_eq</>.
|
|
</para>
|
|
</listitem>
|
|
|
|
<listitem>
|
|
<para>
|
|
Although <productname>PostgreSQL</productname> can cope with
|
|
functions having the same SQL name as long as they have different
|
|
argument data types, C can only cope with one global function
|
|
having a given name. So we shouldn't name the C function
|
|
something simple like <filename>abs_eq</filename>. Usually it's
|
|
a good practice to include the data type name in the C function
|
|
name, so as not to conflict with functions for other data types.
|
|
</para>
|
|
</listitem>
|
|
|
|
<listitem>
|
|
<para>
|
|
We could have made the SQL name
|
|
of the function <filename>abs_eq</filename>, relying on
|
|
<productname>PostgreSQL</productname> to distinguish it by
|
|
argument data types from any other SQL function of the same name.
|
|
To keep the example simple, we make the function have the same
|
|
names at the C level and SQL level.
|
|
</para>
|
|
</listitem>
|
|
</itemizedlist>
|
|
</para>
|
|
|
|
<para>
|
|
The next step is the registration of the support routine required
|
|
by B-trees. The example C code that implements this is in the same
|
|
file that contains the operator functions. This is how we declare
|
|
the function:
|
|
|
|
<programlisting>
|
|
CREATE FUNCTION complex_abs_cmp(complex, complex)
|
|
RETURNS integer
|
|
AS '<replaceable>filename</replaceable>'
|
|
LANGUAGE C IMMUTABLE STRICT;
|
|
</programlisting>
|
|
</para>
|
|
|
|
<para>
|
|
Now that we have the required operators and support routine,
|
|
we can finally create the operator class:
|
|
|
|
<programlisting>
|
|
CREATE OPERATOR CLASS complex_abs_ops
|
|
DEFAULT FOR TYPE complex USING btree AS
|
|
OPERATOR 1 < ,
|
|
OPERATOR 2 <= ,
|
|
OPERATOR 3 = ,
|
|
OPERATOR 4 >= ,
|
|
OPERATOR 5 > ,
|
|
FUNCTION 1 complex_abs_cmp(complex, complex);
|
|
</programlisting>
|
|
</para>
|
|
|
|
<para>
|
|
And we're done! It should now be possible to create
|
|
and use B-tree indexes on <type>complex</type> columns.
|
|
</para>
|
|
|
|
<para>
|
|
We could have written the operator entries more verbosely, as in
|
|
<programlisting>
|
|
OPERATOR 1 < (complex, complex) ,
|
|
</programlisting>
|
|
but there is no need to do so when the operators take the same data type
|
|
we are defining the operator class for.
|
|
</para>
|
|
|
|
<para>
|
|
The above example assumes that you want to make this new operator class the
|
|
default B-tree operator class for the <type>complex</type> data type.
|
|
If you don't, just leave out the word <literal>DEFAULT</>.
|
|
</para>
|
|
</sect2>
|
|
|
|
<sect2 id="xindex-opclass-crosstype">
|
|
<title>Cross-Data-Type Operator Classes</title>
|
|
|
|
<para>
|
|
So far we have implicitly assumed that an operator class deals with
|
|
only one data type. While there certainly can be only one data type in
|
|
a particular index column, it is often useful to index operations that
|
|
compare an indexed column to a value of a different data type. This is
|
|
presently supported by the B-tree and GiST index methods.
|
|
</para>
|
|
|
|
<para>
|
|
B-trees require the left-hand operand of each operator to be the indexed
|
|
data type, but the right-hand operand can be of a different type. There
|
|
must be a support function having a matching signature. For example,
|
|
the built-in operator class for type <type>bigint</> (<type>int8</>)
|
|
allows cross-type comparisons to <type>int4</> and <type>int2</>. It
|
|
could be duplicated by this definition:
|
|
|
|
<programlisting>
|
|
CREATE OPERATOR CLASS int8_ops
|
|
DEFAULT FOR TYPE int8 USING btree AS
|
|
-- standard int8 comparisons
|
|
OPERATOR 1 < ,
|
|
OPERATOR 2 <= ,
|
|
OPERATOR 3 = ,
|
|
OPERATOR 4 >= ,
|
|
OPERATOR 5 > ,
|
|
FUNCTION 1 btint8cmp(int8, int8) ,
|
|
|
|
-- cross-type comparisons to int2 (smallint)
|
|
OPERATOR 1 < (int8, int2) ,
|
|
OPERATOR 2 <= (int8, int2) ,
|
|
OPERATOR 3 = (int8, int2) ,
|
|
OPERATOR 4 >= (int8, int2) ,
|
|
OPERATOR 5 > (int8, int2) ,
|
|
FUNCTION 1 btint82cmp(int8, int2) ,
|
|
|
|
-- cross-type comparisons to int4 (integer)
|
|
OPERATOR 1 < (int8, int4) ,
|
|
OPERATOR 2 <= (int8, int4) ,
|
|
OPERATOR 3 = (int8, int4) ,
|
|
OPERATOR 4 >= (int8, int4) ,
|
|
OPERATOR 5 > (int8, int4) ,
|
|
FUNCTION 1 btint84cmp(int8, int4) ;
|
|
</programlisting>
|
|
|
|
Notice that this definition <quote>overloads</> the operator strategy and
|
|
support function numbers. This is allowed (for B-tree operator classes
|
|
only) so long as each instance of a particular number has a different
|
|
right-hand data type. The instances that are not cross-type are the
|
|
default or primary operators of the operator class.
|
|
</para>
|
|
|
|
<para>
|
|
GiST indexes do not allow overloading of strategy or support function
|
|
numbers, but it is still possible to get the effect of supporting
|
|
multiple right-hand data types, by assigning a distinct strategy number
|
|
to each operator that needs to be supported. The <literal>consistent</>
|
|
support function must determine what it needs to do based on the strategy
|
|
number, and must be prepared to accept comparison values of the appropriate
|
|
data types.
|
|
</para>
|
|
</sect2>
|
|
|
|
<sect2 id="xindex-opclass-dependencies">
|
|
<title>System Dependencies on Operator Classes</title>
|
|
|
|
<indexterm>
|
|
<primary>ordering operator</primary>
|
|
</indexterm>
|
|
|
|
<para>
|
|
<productname>PostgreSQL</productname> uses operator classes to infer the
|
|
properties of operators in more ways than just whether they can be used
|
|
with indexes. Therefore, you might want to create operator classes
|
|
even if you have no intention of indexing any columns of your data type.
|
|
</para>
|
|
|
|
<para>
|
|
In particular, there are SQL features such as <literal>ORDER BY</> and
|
|
<literal>DISTINCT</> that require comparison and sorting of values.
|
|
To implement these features on a user-defined data type,
|
|
<productname>PostgreSQL</productname> looks for the default B-tree operator
|
|
class for the data type. The <quote>equals</> member of this operator
|
|
class defines the system's notion of equality of values for
|
|
<literal>GROUP BY</> and <literal>DISTINCT</>, and the sort ordering
|
|
imposed by the operator class defines the default <literal>ORDER BY</>
|
|
ordering.
|
|
</para>
|
|
|
|
<para>
|
|
Comparison of arrays of user-defined types also relies on the semantics
|
|
defined by the default B-tree operator class.
|
|
</para>
|
|
|
|
<para>
|
|
If there is no default B-tree operator class for a data type, the system
|
|
will look for a default hash operator class. But since that kind of
|
|
operator class only provides equality, in practice it is only enough
|
|
to support array equality.
|
|
</para>
|
|
|
|
<para>
|
|
When there is no default operator class for a data type, you will get
|
|
errors like <quote>could not identify an ordering operator</> if you
|
|
try to use these SQL features with the data type.
|
|
</para>
|
|
|
|
<note>
|
|
<para>
|
|
In <productname>PostgreSQL</productname> versions before 7.4,
|
|
sorting and grouping operations would implicitly use operators named
|
|
<literal>=</>, <literal><</>, and <literal>></>. The new
|
|
behavior of relying on default operator classes avoids having to make
|
|
any assumption about the behavior of operators with particular names.
|
|
</para>
|
|
</note>
|
|
</sect2>
|
|
|
|
<sect2 id="xindex-opclass-features">
|
|
<title>Special Features of Operator Classes</title>
|
|
|
|
<para>
|
|
There are two special features of operator classes that we have
|
|
not discussed yet, mainly because they are not useful
|
|
with the most commonly used index methods.
|
|
</para>
|
|
|
|
<para>
|
|
Normally, declaring an operator as a member of an operator class means
|
|
that the index method can retrieve exactly the set of rows
|
|
that satisfy a <literal>WHERE</> condition using the operator. For example,
|
|
<programlisting>
|
|
SELECT * FROM table WHERE integer_column < 4;
|
|
</programlisting>
|
|
can be satisfied exactly by a B-tree index on the integer column.
|
|
But there are cases where an index is useful as an inexact guide to
|
|
the matching rows. For example, if an R-tree index stores only
|
|
bounding boxes for objects, then it cannot exactly satisfy a <literal>WHERE</>
|
|
condition that tests overlap between nonrectangular objects such as
|
|
polygons. Yet we could use the index to find objects whose bounding
|
|
box overlaps the bounding box of the target object, and then do the
|
|
exact overlap test only on the objects found by the index. If this
|
|
scenario applies, the index is said to be <quote>lossy</> for the
|
|
operator, and we add <literal>RECHECK</> to the <literal>OPERATOR</> clause
|
|
in the <command>CREATE OPERATOR CLASS</> command.
|
|
<literal>RECHECK</> is valid if the index is guaranteed to return
|
|
all the required rows, plus perhaps some additional rows, which
|
|
can be eliminated by performing the original operator invocation.
|
|
</para>
|
|
|
|
<para>
|
|
Consider again the situation where we are storing in the index only
|
|
the bounding box of a complex object such as a polygon. In this
|
|
case there's not much value in storing the whole polygon in the index
|
|
entry — we may as well store just a simpler object of type
|
|
<type>box</>. This situation is expressed by the <literal>STORAGE</>
|
|
option in <command>CREATE OPERATOR CLASS</>: we'd write something like
|
|
|
|
<programlisting>
|
|
CREATE OPERATOR CLASS polygon_ops
|
|
DEFAULT FOR TYPE polygon USING gist AS
|
|
...
|
|
STORAGE box;
|
|
</programlisting>
|
|
|
|
At present, only the GiST index method supports a
|
|
<literal>STORAGE</> type that's different from the column data type.
|
|
The GiST <literal>compress</> and <literal>decompress</> support
|
|
routines must deal with data-type conversion when <literal>STORAGE</>
|
|
is used.
|
|
</para>
|
|
</sect2>
|
|
|
|
</sect1>
|
|
|
|
<!-- 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:
|
|
-->
|