Received: from localhost (unknown [200.46.204.183]) by postgresql.org (Postfix) with ESMTP id E098F65010B for ; Tue, 2 Sep 2008 10:44:18 -0300 (ADT) Received: from postgresql.org ([200.46.204.86]) by localhost (mx1.hub.org [200.46.204.183]) (amavisd-maia, port 10024) with ESMTP id 31411-02 for ; Tue, 2 Sep 2008 10:44:09 -0300 (ADT) X-Greylist: from auto-whitelisted by SQLgrey-1.7.6 Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.172]) by postgresql.org (Postfix) with ESMTP id 94F7364FFF8 for ; Tue, 2 Sep 2008 10:44:14 -0300 (ADT) Received: by ug-out-1314.google.com with SMTP id 29so1737121ugo.7 for ; Tue, 02 Sep 2008 06:44:12 -0700 (PDT) Received: by 10.66.216.7 with SMTP id o7mr3901136ugg.66.1220363052230; Tue, 02 Sep 2008 06:44:12 -0700 (PDT) Received: from ?80.222.42.69? ( [80.222.42.69]) by mx.google.com with ESMTPS id k10sm6065665nfh.25.2008.09.02.06.44.10 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 02 Sep 2008 06:44:11 -0700 (PDT) Message-ID: <48BD4329.5060005@enterprisedb.com> Date: Tue, 02 Sep 2008 16:44:09 +0300 Organization: EnterpriseDB User-Agent: Mozilla-Thunderbird 2.0.0.14 (X11/20080509) MIME-Version: 1.0 To: Simon Riggs CC: List pgsql-patches Subject: Re: WIP Join Removal References: <1220176372.4371.118.camel@ebony.2ndQuadrant> <48BC4127.30706@enterprisedb.com> <1220348487.4371.307.camel@ebony.2ndQuadrant> <48BD1374.4030504@enterprisedb.com> <1220352112.4371.349.camel@ebony.2ndQuadrant> <48BD1852.1070904@enterprisedb.com> <1220352898.4371.355.camel@ebony.2ndQuadrant> <48BD1D7C.6090002@enterprisedb.com> <1220354413.4371.365.camel@ebony.2ndQuadrant> <48BD2189.40400@enterprisedb.com> <1220358814.4371.406.camel@ebony.2ndQuadrant> In-Reply-To: <1220358814.4371.406.camel@ebony.2ndQuadrant> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit From: Heikki Linnakangas X-Virus-Scanned: Maia Mailguard 1.0.1 X-Spam-Status: No, hits=0 tagged_above=0 required=5 tests=none X-Spam-Level: X-Archive-Number: 200809/19 X-Sequence-Number: 7034 Simon Riggs wrote: > It seems I wrote my original tests using "and" instead of "where" and > hadn't noticed the distinction. Thanks for helping me catch that error. Ah, yeah, that's a big difference. Proving correctness is hard, but to refute something you need just one test case that fails ;-). -- Heikki Linnakangas EnterpriseDB http://www.enterprisedb.com