Robert Haas <[email protected]> writes:
> On Wed, Jun 30, 2010 at 6:57 PM, Tom Lane <[email protected]> wrote:
>> The detailed definition is amazingly laborious and yet limited, though,
>> as it basically doesn't address the problem except for that specific
>> case and close relatives.
> Well, solving the problem in general is equivalent to the halting problem,
> so...
So is proving determinism. They had the sense to *not* try to define
what that means.
regards, tom lane
--
Sent via pgsql-hackers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
