@ -556,10 +556,11 @@
matches the query. It comes in two flavors, a boolean <function>consistent</> matches the query. It comes in two flavors, a boolean <function>consistent</>
function, and a ternary <function>triConsistent</> function. function, and a ternary <function>triConsistent</> function.
<function>triConsistent</> covers the functionality of both, so providing <function>triConsistent</> covers the functionality of both, so providing
triConsistent alone is sufficient. However, if the boolean variant is <function>triConsistent</> alone is sufficient. However, if the boolean
significantly cheaper to calculate, it can be advantageous to provide both. variant is significantly cheaper to calculate, it can be advantageous to
If only the boolean variant is provided, some optimizations that depend on provide both. If only the boolean variant is provided, some optimizations
refuting index items before fetching all the keys are disabled. that depend on refuting index items before fetching all the keys are
disabled.
<variablelist> <variablelist>
<varlistentry> <varlistentry>
@ -620,23 +621,26 @@
<listitem> <listitem>
<para> <para>
<function>triConsistent</> is similar to <function>consistent</>, <function>triConsistent</> is similar to <function>consistent</>,
but instead of a boolean <literal>check[]</>, there are three possible but instead of booleans in the <literal>check</> vector, there are
values for each key: <literal>GIN_TRUE</>, <literal>GIN_FALSE</> and three possible values for each
key: <literal>GIN_TRUE</>, <literal>GIN_FALSE</> and
<literal>GIN_MAYBE</>. <literal>GIN_FALSE</> and <literal>GIN_TRUE</> <literal>GIN_MAYBE</>. <literal>GIN_FALSE</> and <literal>GIN_TRUE</>
have the same meaning as regular boolean values. have the same meaning as regular boolean values, while
<literal>GIN_MAYBE</> means that the presence of that key is not known. <literal>GIN_MAYBE</> means that the presence of that key is not known.
When <literal>GIN_MAYBE</> values are present, the function should only When <literal>GIN_MAYBE</> values are present, the function should only
return GIN_TRUE if the item matches whether or not the index item return <literal>GIN_TRUE</> if the item certainly matches whether or
contains the corresponding query keys. Likewise, the function must not the index item contains the corresponding query keys. Likewise, the
return GIN_FALSE only if the item does not match, whether or not it function must return <literal>GIN_FALSE</> only if the item certainly
contains the GIN_MAYBE keys. If the result depends on the GIN_MAYBE does not match, whether or not it contains the <literal>GIN_MAYBE</>
entries, i.e. the match cannot be confirmed or refuted based on the keys. If the result depends on the <literal>GIN_MAYBE</> entries, i.e.,
known query keys, the function must return GIN_MAYBE. the match cannot be confirmed or refuted based on the known query keys,
the function must return <literal>GIN_MAYBE</>.
</para> </para>
<para> <para>
When there are no GIN_MAYBE values in the <literal>check</> vector, When there are no <literal>GIN_MAYBE</> values in the <literal>check</>
<literal>GIN_MAYBE</> return value is equivalent of setting vector, a <literal>GIN_MAYBE</> return value is the equivalent of
<literal>recheck</> flag in the boolean <function>consistent</> function. setting the <literal>recheck</> flag in the
boolean <function>consistent</> function.
</para> </para>
</listitem> </listitem>
</varlistentry> </varlistentry>
@ -682,11 +686,13 @@
<function>extractValue</> are always of the operator class's input type, and <function>extractValue</> are always of the operator class's input type, and
all key values must be of the class's <literal>STORAGE</> type. The type of all key values must be of the class's <literal>STORAGE</> type. The type of
the <literal>query</> argument passed to <function>extractQuery</>, the <literal>query</> argument passed to <function>extractQuery</>,
<function>consistent</> and <function>triConsistent</> is whatever is <function>consistent</> and <function>triConsistent</> is whatever is the
specified as the right-hand input right-hand input type of the class member operator identified by the
type of the class member operator identified by the strategy number. strategy number. This need not be the same as the indexed type, so long as
This need not be the same as the item type, so long as key values of the key values of the correct type can be extracted from it. However, it is
correct type can be extracted from it. recommended that the SQL declarations of these three support functions use
the opclass's indexed data type for the <literal>query</> argument, even
though the actual type might be something else depending on the operator.
</para> </para>
</sect1> </sect1>
Tom Lane
10 years ago