1. 20 Aug, 2008 3 commits
  2. 19 Aug, 2008 6 commits
  3. 18 Aug, 2008 2 commits
  4. 17 Aug, 2008 3 commits
    • Tom Lane's avatar
      Add some defenses against constant-FALSE outer join conditions. Since · 719012e0
      Tom Lane authored
      eval_const_expressions will generally throw away anything that's ANDed with
      constant FALSE, what we're left with given an example like
      
      select * from tenk1 a where (unique1,0) in (select unique2,1 from tenk1 b);
      
      is a cartesian product computation, which is really not acceptable.
      This is a regression in CVS HEAD compared to previous releases, which were
      able to notice the impossible join condition in this case --- though not in
      some related cases that are also improved by this patch, such as
      
      select * from tenk1 a left join tenk1 b on (a.unique1=b.unique2 and 0=1);
      
      Fix by skipping evaluation of the appropriate side of the outer join in
      cases where it's demonstrably unnecessary.
      719012e0
    • Tom Lane's avatar
      Remove prohibition against SubLinks in the WHERE clause of an EXISTS subquery · f2689e42
      Tom Lane authored
      that we're considering pulling up.  I hadn't wanted to think through whether
      that could work during the first pass at this stuff.  However, on closer
      inspection it seems to be safe enough.
      f2689e42
    • Tom Lane's avatar
      Improve sublink pullup code to handle ANY/EXISTS sublinks that are at top · 19e34b62
      Tom Lane authored
      level of a JOIN/ON clause, not only at top level of WHERE.  (However, we
      can't do this in an outer join's ON clause, unless the ANY/EXISTS refers
      only to the nullable side of the outer join, so that it can effectively
      be pushed down into the nullable side.)  Per request from Kevin Grittner.
      
      In passing, fix a bug in the initial implementation of EXISTS pullup:
      it would Assert if the EXIST's WHERE clause used a join alias variable.
      Since we haven't yet flattened join aliases when this transformation
      happens, it's necessary to include join relids in the computed set of
      RHS relids.
      19e34b62
  5. 16 Aug, 2008 11 commits
  6. 15 Aug, 2008 2 commits
    • Tom Lane's avatar
      Performance fix for new anti-join code in nodeMergejoin.c: after finding a · 11846111
      Tom Lane authored
      match in antijoin mode, we should advance to next outer tuple not next inner.
      We know we don't want to return this outer tuple, and there is no point in
      advancing over matching inner tuples now, because we'd just have to do it
      again if the next outer tuple has the same merge key.  This makes a noticeable
      difference if there are lots of duplicate keys in both inputs.
      
      Similarly, after finding a match in semijoin mode, arrange to advance to
      the next outer tuple after returning the current match; or immediately,
      if it fails the extra quals.  The rationale is the same.  (This is a
      performance bug in existing releases; perhaps worth back-patching?  The
      planner tries to avoid using mergejoin with lots of duplicates, so it may
      not be a big issue in practice.)
      
      Nestloop and hash got this right to start with, but I made some cosmetic
      adjustments there to make the corresponding bits of logic look more similar.
      11846111
    • Magnus Hagander's avatar
      Make the temporary directory for pgstat files configurable by the GUC · 5b8eb2b4
      Magnus Hagander authored
      variable stats_temp_directory, instead of requiring the admin to
      mount/symlink the pg_stat_tmp directory manually.
      
      For now the config variable is PGC_POSTMASTER. Room for further improvment
      that would allow it to be changed on-the-fly.
      5b8eb2b4
  7. 14 Aug, 2008 4 commits
  8. 13 Aug, 2008 1 commit
  9. 12 Aug, 2008 2 commits
  10. 11 Aug, 2008 2 commits
    • Heikki Linnakangas's avatar
      Relation forks patch requires a catversion bump due to changes in the format · a879443e
      Heikki Linnakangas authored
      of some WAL records, and two-phase state files, which I forgot.
      a879443e
    • Heikki Linnakangas's avatar
      Introduce the concept of relation forks. An smgr relation can now consist · 3f0e808c
      Heikki Linnakangas authored
      of multiple forks, and each fork can be created and grown separately.
      
      The bulk of this patch is about changing the smgr API to include an extra
      ForkNumber argument in every smgr function. Also, smgrscheduleunlink and
      smgrdounlink no longer implicitly call smgrclose, because other forks might
      still exist after unlinking one. The callers of those functions have been
      modified to call smgrclose instead.
      
      This patch in itself doesn't have any user-visible effect, but provides the
      infrastructure needed for upcoming patches. The additional forks envisioned
      are a rewritten FSM implementation that doesn't rely on a fixed-size shared
      memory block, and a visibility map to allow skipping portions of a table in
      VACUUM that have no dead tuples.
      3f0e808c
  11. 10 Aug, 2008 1 commit
    • Tom Lane's avatar
      Fix corner-case bug introduced with HOT: if REINDEX TABLE pg_class (or a · eca13886
      Tom Lane authored
      REINDEX DATABASE including same) is done before a session has done any other
      update on pg_class, the pg_class relcache entry was left with an incorrect
      setting of rd_indexattr, because the indexed-attributes set would be first
      demanded at a time when we'd forced a partial list of indexes into the
      pg_class entry, and it would remain cached after that.  This could result
      in incorrect decisions about HOT-update safety later in the same session.
      In practice, since only pg_class_relname_nsp_index would be missed out,
      only ALTER TABLE RENAME and ALTER TABLE SET SCHEMA could trigger a problem.
      Per report and test case from Ondrej Jirman.
      eca13886
  12. 08 Aug, 2008 1 commit
    • Tom Lane's avatar
      Install checks in executor startup to ensure that the tuples produced by an · 30fd8ec7
      Tom Lane authored
      INSERT or UPDATE will match the target table's current rowtype.  In pre-8.3
      releases inconsistency can arise with stale cached plans, as reported by
      Merlin Moncure.  (We patched the equivalent hazard on the SELECT side in Feb
      2007; I'm not sure why we thought there was no risk on the insertion side.)
      In 8.3 and HEAD this problem should be impossible due to plan cache
      invalidation management, but it seems prudent to make the check anyway.
      
      Back-patch as far as 8.0.  7.x versions lack ALTER COLUMN TYPE, so there
      seems no way to abuse a stale plan comparably.
      30fd8ec7
  13. 07 Aug, 2008 2 commits
    • Tom Lane's avatar
      Improve INTERSECT/EXCEPT hashing by realizing that we don't need to make any · af95d7aa
      Tom Lane authored
      hashtable entries for tuples that are found only in the second input: they
      can never contribute to the output.  Furthermore, this implies that the
      planner should endeavor to put first the smaller (in number of groups) input
      relation for an INTERSECT.  Implement that, and upgrade prepunion's estimation
      of the number of rows returned by setops so that there's some amount of sanity
      in the estimate of which one is smaller.
      af95d7aa
    • Tom Lane's avatar
      Support hashing for duplicate-elimination in INTERSECT and EXCEPT queries. · 368df304
      Tom Lane authored
      This completes my project of improving usage of hashing for duplicate
      elimination (aggregate functions with DISTINCT remain undone, but that's
      for some other day).
      
      As with the previous patches, this means we can INTERSECT/EXCEPT on datatypes
      that can hash but not sort, and it means that INTERSECT/EXCEPT without ORDER
      BY are no longer certain to produce sorted output.
      368df304