~ubuntu-branches/ubuntu/quantal/postgresql-9.1/quantal-proposed

« back to all changes in this revision

Viewing changes to src/backend/optimizer/path/indxpath.c

  • Committer: Package Import Robot
  • Author(s): Martin Pitt
  • Date: 2011-12-02 14:39:18 UTC
  • mfrom: (12.1.1 sid)
  • Revision ID: package-import@ubuntu.com-20111202143918-1ftj0oo87w0y8m8d
* New upstream bug fix release:
  - Fix bugs in information_schema.referential_constraints view.
    This view was being insufficiently careful about matching the
    foreign-key constraint to the depended-on primary or unique key
    constraint. That could result in failure to show a foreign key
    constraint at all, or showing it multiple times, or claiming that
    it depends on a different constraint than the one it really does.
    Since the view definition is installed by initdb, merely upgrading
    will not fix the problem. If you need to fix this in an existing
    installation, you can (as a superuser) drop the information_schema
    schema then re-create it by sourcing
    "SHAREDIR/information_schema.sql". (Run pg_config --sharedir if
    you're uncertain where "SHAREDIR" is.) This must be repeated in
    each database to be fixed.
  - Make "contrib/citext"'s upgrade script fix collations of citext
    columns and indexes.
    Existing citext columns and indexes aren't correctly marked as
    being of a collatable data type during pg_upgrade from a pre-9.1
    server. That leads to operations on them failing with errors such
    as "could not determine which collation to use for string
    comparison". This change allows them to be fixed by the same script
    that upgrades the citext module into a proper 9.1 extension during
    CREATE EXTENSION citext FROM unpackaged.
    If you have a previously-upgraded database that is suffering from
    this problem, and you already ran the "CREATE EXTENSION" command,
    you can manually run (as superuser) the "UPDATE" commands found at
    the end of "SHAREDIR/extension/citext--unpackaged--1.0.sql". (Run
    pg_config --sharedir if you're uncertain where "SHAREDIR" is.)
  - Fix possible crash during "UPDATE" or "DELETE" that joins to the
    output of a scalar-returning function.
  - Fix incorrect replay of WAL records for GIN index updates.
  - Fix TOAST-related data corruption during CREATE TABLE dest AS
    SELECT - FROM src or INSERT INTO dest SELECT * FROM src.
  - Fix possible failures during hot standby startup.
  - Start hot standby faster when initial snapshot is incomplete.
  - Fix race condition during toast table access from stale syscache
    entries. The typical symptom was transient errors like "missing chunk
    number 0 for toast value NNNNN in pg_toast_2619", where the cited toast
    table would always belong to a system catalog.
  - Track dependencies of functions on items used in parameter default
    expressions. Previously, a referenced object could be dropped without
    having dropped or modified the function, leading to misbehavior when
    the function was used. Note that merely installing this update will not
    fix the missing dependency entries; to do that, you'd need to
    "CREATE OR REPLACE" each such function afterwards. If you have
    functions whose defaults depend on non-built-in objects, doing so
    is recommended.
  - Fix incorrect management of placeholder variables in nestloop joins.
    This bug is known to lead to "variable not found in subplan target
    list" planner errors, and could possibly result in wrong query
    output when outer joins are involved.
  - Fix window functions that sort by expressions involving aggregates.
  - Fix "MergeAppend child's targetlist doesn't match MergeAppend"
    planner errors.
  - Fix index matching for operators with both collatable and
    noncollatable inputs. In 9.1.0, an indexable operator that has a
    non-collatable left-hand input type and a collatable right-hand input
    type would not be recognized as matching the left-hand column's index.
    An example is the hstore ? text operator.
  - Allow inlining of set-returning SQL functions with multiple OUT
    parameters.
  - Don't trust deferred-unique indexes for join removal.
  - Make DatumGetInetP() unpack inet datums that have a 1-byte header,
    and add a new macro, DatumGetInetPP(), that does not.
  - Improve locale support in money type's input and output.
    Aside from not supporting all standard lc_monetary formatting
    options, the input and output functions were inconsistent, meaning
    there were locales in which dumped money values could not be
    re-read.
  - Don't let transform_null_equals affect CASE foo WHEN NULL ...
    constructs.  transform_null_equals is only supposed to affect foo =
    NULL expressions written directly by the user, not equality checks
    generated internally by this form of CASE.
  - Change foreign-key trigger creation order to better support
    self-referential foreign keys.
  - Fix IF EXISTS to work correctly in "DROP OPERATOR FAMILY".
  - Disallow dropping of an extension from within its own script.
  - Don't mark auto-generated types as extension members.
  - Cope with invalid pre-existing search_path settings during "CREATE
    EXTENSION".
  - Avoid floating-point underflow while tracking buffer allocation
    rate.
  - Prevent autovacuum transactions from running in serializable mode.
    Autovacuum formerly used the cluster-wide default transaction
    isolation level, but there is no need for it to use anything higher
    than READ COMMITTED, and using SERIALIZABLE could result in
    unnecessary delays for other processes.
  - Ensure walsender processes respond promptly to SIGTERM.
  - Exclude "postmaster.opts" from base backups.
  - Fix incorrect field alignment in ecpg's SQLDA area.
  - Preserve blank lines within commands in psql's command history.
    The former behavior could cause problems if an empty line was
    removed from within a string literal, for example.
  - Avoid platform-specific infinite loop in pg_dump.
  - Fix compression of plain-text output format in pg_dump.
    pg_dump has historically understood -Z with no -F switch to mean
    that it should emit a gzip-compressed version of its plain text
    output. Restore that behavior.
  - Fix pg_dump to dump user-defined casts between auto-generated
    types, such as table rowtypes.
  - Fix missed quoting of foreign server names in pg_dump.
  - Assorted fixes for pg_upgrade. Handle exclusion constraints correctly,
    avoid failures on Windows, don't complain about mismatched toast table
    names in 8.4 databases.
  - In PL/pgSQL, allow foreign tables to define row types.
  - Fix up conversions of PL/Perl functions' results.
    Restore the pre-9.1 behavior that PL/Perl functions returning void
    ignore the result value of their last Perl statement; 9.1.0 would
    throw an error if that statement returned a reference. Also, make
    sure it works to return a string value for a composite type, so
    long as the string meets the type's input format. In addition,
    throw errors for attempts to return Perl arrays or hashes when the
    function's declared result type is not an array or composite type,
    respectively. (Pre-9.1 versions rather uselessly returned strings
    like ARRAY(0x221a9a0) or HASH(0x221aa90) in such cases.)
  - Ensure PL/Perl strings are always correctly UTF8-encoded.
  - Use the preferred version of xsubpp to build PL/Perl, not
    necessarily the operating system's main copy.
  - Correctly propagate SQLSTATE in PL/Python exceptions.
  - Do not install PL/Python extension files for Python major versions
    other than the one built against.
  - Change all the "contrib" extension script files to report a useful
    error message if they are fed to psql. This should help teach people
    about the new method of using "CREATE EXTENSION" to load these files.
    In most cases, sourcing the scripts directly would fail anyway, but
    with harder-to-interpret messages.
  - Fix incorrect coding in "contrib/dict_int" and "contrib/dict_xsyn".
  - Remove "contrib/sepgsql" tests from the regular regression test
    mechanism. Since these tests require root privileges for setup, they're
    impractical to run automatically. Switch over to a manual approach
    instead, and provide a testing script to help with that.
  - Fix assorted errors in "contrib/unaccent"'s configuration file
    parsing.
  - Honor query cancel interrupts promptly in pgstatindex().
  - Revert unintentional enabling of WAL_DEBUG. Fortunately, as debugging
    tools go, this one is pretty cheap; but it's not intended to be enabled
    by default, so revert.
  - Ensure VPATH builds properly install all server header files.
  - Shorten file names reported in verbose error messages.
    Regular builds have always reported just the name of the C file
    containing the error message call, but VPATH builds formerly
    reported an absolute path name.
* debian/rules: Fix build failure for binary-indep-only builds.
  (Closes: #646079)

Show diffs side-by-side

added added

removed removed

Lines of Context:
41
41
#define IsBooleanOpfamily(opfamily) \
42
42
        ((opfamily) == BOOL_BTREE_FAM_OID || (opfamily) == BOOL_HASH_FAM_OID)
43
43
 
 
44
#define IndexCollMatchesExprColl(idxcollation, exprcollation) \
 
45
        ((idxcollation) == InvalidOid || (idxcollation) == (exprcollation))
 
46
 
44
47
/* Whether to use ScalarArrayOpExpr to build index qualifications */
45
48
typedef enum
46
49
{
1181
1184
 *        We do not actually do the commuting here, but we check whether a
1182
1185
 *        suitable commutator operator is available.
1183
1186
 *
 
1187
 *        If the index has a collation, the clause must have the same collation.
 
1188
 *        For collation-less indexes, we assume it doesn't matter; this is
 
1189
 *        necessary for cases like "hstore ? text", wherein hstore's operators
 
1190
 *        don't care about collation but the clause will get marked with a
 
1191
 *        collation anyway because of the text argument.  (This logic is
 
1192
 *        embodied in the macro IndexCollMatchesExprColl.)
 
1193
 *
1184
1194
 *        It is also possible to match RowCompareExpr clauses to indexes (but
1185
1195
 *        currently, only btree indexes handle this).  In this routine we will
1186
1196
 *        report a match if the first column of the row comparison matches the
1303
1313
                bms_is_subset(right_relids, outer_relids) &&
1304
1314
                !contain_volatile_functions(rightop))
1305
1315
        {
1306
 
                if (idxcollation == expr_coll &&
 
1316
                if (IndexCollMatchesExprColl(idxcollation, expr_coll) &&
1307
1317
                        is_indexable_operator(expr_op, opfamily, true))
1308
1318
                        return true;
1309
1319
 
1322
1332
                bms_is_subset(left_relids, outer_relids) &&
1323
1333
                !contain_volatile_functions(leftop))
1324
1334
        {
1325
 
                if (idxcollation == expr_coll &&
 
1335
                if (IndexCollMatchesExprColl(idxcollation, expr_coll) &&
1326
1336
                        is_indexable_operator(expr_op, opfamily, false))
1327
1337
                        return true;
1328
1338
 
1398
1408
        expr_op = linitial_oid(clause->opnos);
1399
1409
        expr_coll = linitial_oid(clause->inputcollids);
1400
1410
 
1401
 
        /* Collations must match */
1402
 
        if (expr_coll != idxcollation)
 
1411
        /* Collations must match, if relevant */
 
1412
        if (!IndexCollMatchesExprColl(idxcollation, expr_coll))
1403
1413
                return false;
1404
1414
 
1405
1415
        /*
1571
1581
        /*
1572
1582
         * We can forget the whole thing right away if wrong collation.
1573
1583
         */
1574
 
        if (expr_coll != idxcollation)
 
1584
        if (!IndexCollMatchesExprColl(idxcollation, expr_coll))
1575
1585
                return NULL;
1576
1586
 
1577
1587
        /*
1862
1872
                         */
1863
1873
                        if ((index->relam != BTREE_AM_OID ||
1864
1874
                                 list_member_oid(ec->ec_opfamilies, curFamily)) &&
1865
 
                                ec->ec_collation == curCollation &&
 
1875
                                IndexCollMatchesExprColl(curCollation, ec->ec_collation) &&
1866
1876
                                match_index_to_operand((Node *) em->em_expr, indexcol, index))
1867
1877
                                return true;
1868
1878
                }
2169
2179
                int                     c;
2170
2180
 
2171
2181
                /*
2172
 
                 * If the index is not unique or if it's a partial index that doesn't
2173
 
                 * match the query, it's useless here.
 
2182
                 * If the index is not unique, or not immediately enforced, or if it's
 
2183
                 * a partial index that doesn't match the query, it's useless here.
2174
2184
                 */
2175
 
                if (!ind->unique || (ind->indpred != NIL && !ind->predOK))
 
2185
                if (!ind->unique || !ind->immediate ||
 
2186
                        (ind->indpred != NIL && !ind->predOK))
2176
2187
                        continue;
2177
2188
 
2178
2189
                /*
2967
2978
                        break;
2968
2979
 
2969
2980
                /* Does collation match? */
2970
 
                if (lfirst_oid(collids_cell) != index->indexcollations[i])
 
2981
                if (!IndexCollMatchesExprColl(index->indexcollations[i],
 
2982
                                                                          lfirst_oid(collids_cell)))
2971
2983
                        break;
2972
2984
 
2973
2985
                /* Add opfamily and datatypes to lists */