Robert Haas <robertmh...@gmail.com> writes: > On Wed, Jun 30, 2010 at 6:57 PM, Tom Lane <t...@sss.pgh.pa.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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers