BUG #6269: Anomaly detection

The following bug has been logged online:

Bug reference:      6269
Logged by:          Paul Stapersma
Email address:      paul.stapersma@gmail.com
PostgreSQL version: 8.3.3
Operating system:   Mac OS X Version 10.6.8
Description:        Anomaly detection
Details:

Dear reader,

For a project at my University, we compared PostgreSQL with MySQL's InnoDB.
In this research, we found several cases in which anomalies where detected
in Isolation levels that guaranteed not to have these anomalies.

In short summary:
- we detected non-repeatable reads in the repeatable read isolation level
- we detected non-repeatable reads in the serializable isolation level
- we detected phantoms in the serializable isolation level
- we detected lost updates in the repeatable read isolation level
- we detected lost updates in the serializable isolation level

Furthermore, we detected differences between Read Committed and Read
Uncommitted and differences between Serializable and Repeatable Read which
is in contrast to the documentation.

A full report on our findings can be found here:
http://dl.dropbox.com/u/19316575/report.pdf

Friendly regards,

Paul Stapersma