Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> On Wed, Jun 30, 2010 at 6:57 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> 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
In response to
pgsql-hackers by date
|Next:||From: Robert Haas||Date: 2010-07-01 00:52:18|
|Subject: Re: Keeping separate WAL segments for each database|
|Previous:||From: Bruce Momjian||Date: 2010-06-30 23:41:53|
|Subject: Re: 9.0beta2 - server crash when using HS + SR|