Я почти не сталкивался с транзакциями. :( Но, по-моему, ситуация нормальная. Ведь одна из конкурирующих транзакциц не отваливается, а "зависает" (лочится). Это может случиться и при работе с таблицами без индексов.

1=> create table test ( foo integer );
CREATE TABLE
1=> insert into test values ( 1 );
INSERT 68935894 1
1=> begin;
BEGIN

2=> begin;
BEGIN
2=> update test set foo=2;
UPDATE 1

1=> update test set foo=3;
<ЗАВИСАЕТ>

P.S.: Вот, если я правильно понял, ваш эксперимент на постгресе и оракле (старом, другого нету). Поведение одинаковое.

PostgreSQL 8.0.3

1=> create table test ( id integer not null primary key );
NOTICE: CREATE TABLE / PRIMARY KEY создаст подразумеваемый индекс "test_pkey" для таблицы "test"
CREATE TABLE
1=> begin;
BEGIN
1=> insert into test values ( 1 );
INSERT 68935899 1
1=> insert into test values ( 2 );
INSERT 68935900 1

2=> begin;
BEGIN
2=> insert into test values ( 3 );
INSERT 68935901 1
2=> insert into test values ( 2 );
<ЗАВИСАЕТ>

Oracle 8.1.7

1> create table test ( id integer not null primary key );
Table created.

2> insert into test values ( 1 );
1 row created.
2> insert into test values ( 2 );
1 row created.

1> insert into test values ( 3 );
1 row created.
1> insert into test values ( 2 );
<ЗАВИСАЕТ>

4321ВОт нашел что-то о траблеме "версионности индексов" в Оракле, но не уверен, что фтему
softwarerdimitr
Мы говорили про "чисто версионный индекс", который бы позволил index-only scan. Для этого в ключ индекса надо внести transaction ID, который бы позволил определить видимость данной записи без чтения самой записи.

Вот здесь и кроется прелесть ораклового подхода. Индекс ничего не знает про какие-то версии. Механизм блоков просто умеет вернуть версию блока, соответствующую транзакции; соответственно, транзакция получает актуальный для нее индекс практически так же, как получает актуальные для себя данные. Transaction ID же учитывается в более внутренних, нежели индекс, структурах.Здесь вроде бы о возможности index scan без заглядывания в таблицу, которая есть в оракле. В постгресе нету. (При выборках, это не касается транзакций.)

LeXa NalBatПри выборках, это не касается транзакций.Глупость сморозил. При выборках. Но как раз транзакций и видимости записей это касается.