"сейм ... экзекушон"
чего это 'сейм', а 'экзекушон' не 'экзИкЬЮшн'
а я , а я, можно буду того — секундантом ... со скриптов-примеров бы и спор начинали ... может сразу выяснили бы
... << RSDN@Home 1.1.0 stable >>
Re[18]: Уровень изолированости транзакций
От:
Аноним
Дата:
01.03.04 07:27
Оценка:
A>>поэтому не отслеживаю, чо там требует tpc я не оспариваю, я просто выдрал фразу о стандарте ANSI — все кто входят в tpc council утверждают что оракловый serializible соответствует стандарту. S>А можно в студию ссылку на то место, в котором эти входящие в TPC council это утверждают? По-моему, сие есть вредное заблуждение.
Здравствуйте, <Аноним>, Вы писали: А>читай внимательней топик А>http://www.tpc.org/results/FDR/TPCC/hp_tpcc_rx5670_fdr.pdf
Ок, спасибо.
Это ты про раздел 6.6.4?
Во-первых, под этим утверждением подписалась единственная компания. Она называется Hewlett-Packard. Статус этого результата — In Review (см.здесь). Это означает, что через пару месяцев тот самый TPC Council может послать его в шредер, как не соответствующий требованиям. Кроме того, я бы на твоем месте осторожнее относился к документам, в которых написано что-то типа
Hewlett-Packard Company assumes no responsibility for any errors that may appear in this document.
(См. стр. 2)
Во-вторых, там ничего не говорится про ANSI-99:
Oracle supports serializable transaction isolation in full compliance with the SQL92...
Обрати внимание, что вопрос про поведение Oracle в сценарии, приведенном Merle
M>-- preparation:
M>-- для всех транзакций устанавливаем isolation level в serializable.
M>create table a(i int)
M>-- transaction 1:
M>delete a where i in (1,2)
M>insert into a (i) values (1);
M>-- transaction 2:
M>delete a where i in (1,2)
M>insert into a (i) values (2);
M>commit;
M>-- transaction 1:
M>commit;
M>
M>В оракле, после таких упражнений, в таблице "a" окажется две записи, что ни коим образом не удовлетворяет определению "the same effect as some serial execution".
Здравствуйте, DemAS, Вы писали:
DAS> В Firebird кстати тоже
Ясен хвост, этот эффект можно наблюдать практически во всех версионниках, ибо, на сколько я знаю, предикатных блокировок в версионниках пока не реализуют.
Вот, кстати, еще поле для экспериментов: Re[2]: Версионность в Yukon
хъ
S>Более точно, реляционная алгебра оперирует мультимножествами. С точки зрения теории удобнее было бы работать с множествами, т.к. действительно различия между кортежами нет. Но в таком случае реализация операторов РА была бы сопряжена с дополнительными расходами, которые не всегда оправданы. Поэтому в нее ввели специальный оператор, который преобразует мультимножество во множество.
Который?
З.Ы. Я про мультимножества первый раз слышу. В РТ определено понятие отношения как множества кортежей и множества доменов.
Здравствуйте, Alexey Shirshov, Вы писали:
AS>Который?
Эдакая дельта. AS>З.Ы. Я про мультимножества первый раз слышу. В РТ определено понятие отношения как множества кортежей и множества доменов.
Ну вот я гляжу в книгу Гарсиа-Молина и других, и там явно об этом говорится. Дело тут может быть в том, что та РА, которая была изначально предложена Коддом, содержала только 5 операторов и вроде бы работала только с множествами. А потом она эволюционировала, в нее внесли поддержку мультимножеств вместе с мультимнжественными версиями операторов, и композитные операторы типа разных джойнов.
... << RSDN@Home 1.1.3 beta 2 >>
Уйдемте отсюда, Румата! У вас слишком богатые погреба.
Здравствуйте, Аноним, Вы писали:
А>оракл в точности соответствует ANSI (там нет требований упорядовачивать по коммиту), иначе бы их не пустили на tpc.org
Ну молодец, трижды в одном предложении глупость сморозил.. ))