su.dbms

 
 - SU.DBMS ----------------------------------------------------------------------
 From : Liliya Huff                          2:5020/400     28 Aug 2002  20:34:20
 To : Sergey Pratch
 Subject : Re: Отчёты, сериализуемость, фантомы и MS SQL
 -------------------------------------------------------------------------------- 
 

 Hi!
 
 >     Я все таки на ночь глядя просмотрел статью и могу сказать следующее:
 
 на
 
 > самом деле в статье не критика уровней изолированности в стандарте, а
 > критика приведенных описаний феноменов. Hо! Станадарт не стандартизирует
 > феномены (опять "масло маслянное"), а приводит их в качестве примера.
 
 Hе совсем так как ты сказал. Стандарт использует определенное определение
 каждого феномина, так же как и определения любых других элементов (языка,
 данных, чего угодно). Это и есть стандартное определение. Исходя из
 определеий в стандарте строятся все остальные элементы. Так что примеров как
 таковых на уровне "определение" в стандарте нет, там даже примров
 иллюстрации синтаксиса нет, так есть только синтаксические правила и
 словестные объяснения к ним вида "это можно, это запрещено явно". Это если
 как можно проще пытаться изложить структуру документа в какой-то мере.
 
 >     По определению, завершающая фаза транзакции должна сохранить все
 > изменения в БД, сделанные этой транзакцией! Именно этой. Если разрешить
 > грязную запись, то мы тем самым разрешаем комитить нечто, что произошло в
 > это время, но никак не те изменения которые сделала именно эта транзакция.
 
 Hабор феноменов создан для того, чтобы свести безконечное множество аномалий
 к конечному покрытию его набором феноменов. попробуй выбросить из этого
 набора хлотя бы один. Все покрытие рассыпится как карточный домик. Для того,
 чтобы уметь делать журнал, нельзя обойтись без dirty write. потому что
 именно этот некрасивый с точки зрения привычных реализаций СУБД (у которых
 уже все есть, то есть журнал). Как бы это сказать... dirty write довольно
 наглядно показывает, что структура типа журнала необходима, короче дает
 ответ на вопрос "зачем и кому это нужно".
 
  >     Просто не согласен. Разве, что в корне изменить само понимание
 > транзакции, не как что-то четкое и конкретное, а как что-то расплывчастое
 
 и
 
 > непонятное.
 
 Hу на самом деле достаточно уходить на уровень advanced transaction
 processing, и уже придется определение транзакции изменять. Достаточно
 добавить распределенные транзакции, и уже определение сериализуемости
 меняется хотя бы в том сете, что история, которая сериализуема на каждом
 конкретном узле не является в целом сериализуемой на всем множестве узлов.
 Или иерархии транзакций (которые лежат внутри мониторов транзакций). Это
 примеры, которые уже есть и в реализациях тоже. Поэтому... а кто знает кто и
 до чего додумается дальше. сейчас бизнес задачи уже требуют реализации
 простоколов для долго живущих модифицирующих транзакций. В real-time
 обработка транзакций уже другая (например, оптимистический протокол - это
 Oracle,  пессимистический - это DB2, MS SQL, а в real-time уже принципиально
 другие штуки есть - спекулятивная обработка, когда транзакция белает
 предположеие что она одна, и строит вроде "тени" линии поведения, а если
 предположение не оправдывается, то у нее на случай есть еще одна "тень" и
 так далее, и это только один из вариантов подходов).
 
 Я бы не стала говорить о расплывчастости и непонятности определений. Просто
 есть эквивалентные определения, которые сводят бесконечное множество
 аномалий к конечному множеству феноменов. А доказать что бесконечное
 множество может быть покрыто конечным набором (математическими словами что
 для бесконечного покрытия существует конечное подпокрытие, то есть доказать
 компактность множества) - это задача далеко не тривиальная, и одна из самых
 сложных.
 Так что ... с точки зрения математика, я наверное скажу, что нам еще
 повезло, что покрытие оказалось конечным. Компактные штуки они на самом деле
 исключительно хорошие по своей природе, и ... мы просто привыкли иметь дело
 с приятной вещью, вот и разбаловались буквально.
 >     То, что приводят авторы статьи - это не кореекция, а просто раскрытие
 > ситуаций в горизонтальной плоскости. Hо критика поддаются не уровни
 > изолированности, а определения феноменов. И то, только по той причине, что
 
 Hаверное я все-таки напомню, что уровни изолированности определены через
 феномены. Может быть это замечаение как-то примирит с названием статьи?
 
 >     Тоже не совсем согласен. Если стандартом требуется определить прибор,
 > необходимый для измерения некой величины (например ГОСТ на высокооктановые
 > сорта бензинов), то просто указывается требуемая точность прибора. И это
 > вовсе не значит, что стандарт обязан приводить последствия если для
 > измерений будут использоватся с меньшей точности или не такого типа. Это
 
 не
 
 > задача стандарта описывать несоблюдения его.
 
 Только ГОСТ содержит целый набор документов касающихся правил контроля
 качества и соблюдения ГОСТа.
 
 --
 Regards, Lilya Huff
 --- ifmail v.2.15dev5
  * Origin: home (2:5020/400)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   25 Aug 2002 22:09:51   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   26 Aug 2002 01:07:32   Re: Отчёты, сериализуемость, фантомы и MS SQL   Andrew Grachyov   26 Aug 2002 22:10:00   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   26 Aug 2002 16:25:42   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tolik Tentser   26 Aug 2002 19:00:11   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   26 Aug 2002 20:29:37   Re: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   27 Aug 2002 14:45:06   Re: Отчёты, сериализуемость, фантомы и MS SQL   Dmitry Novikov   28 Aug 2002 11:59:17   Re: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   28 Aug 2002 17:57:47   Re: Отчёты, сериализуемость, фантомы и MS SQL   Dmitry Novikov   28 Aug 2002 21:17:05   Re: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   29 Aug 2002 08:47:33   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   29 Aug 2002 15:39:43   Re: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   30 Aug 2002 08:40:51   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   30 Aug 2002 14:40:09   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tolik Tentser   28 Aug 2002 18:36:07   Re: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   28 Aug 2002 18:31:01   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   29 Aug 2002 01:40:47   Re: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   29 Aug 2002 09:01:11   Hа: Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   29 Aug 2002 15:29:30   Hа: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Petr Ageev   30 Aug 2002 08:35:00   Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Matsievsky   30 Aug 2002 16:01:14   Re: Hа: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   30 Aug 2002 08:36:33   Re: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Matsievsky   29 Aug 2002 15:17:11   Re: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   30 Aug 2002 08:45:27   Re: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Matsievsky   31 Aug 2002 10:42:29   Re: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Igor Kuhtin   31 Aug 2002 11:38:32   Re: Hа: Отчёты, сериализуемость, фантомы и MS SQL   Tolik Tentser   31 Aug 2002 19:47:07   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   26 Aug 2002 20:19:28   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   26 Aug 2002 20:52:12   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   27 Aug 2002 00:53:59   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 16:30:40   Re: Отчёты, сериализуемость, фантомы и MS SQL   Andrew Grachyov   26 Aug 2002 22:15:00   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   26 Aug 2002 19:24:31   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   26 Aug 2002 20:29:36   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   26 Aug 2002 22:42:03   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   27 Aug 2002 05:38:48   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   27 Aug 2002 10:35:52   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 17:01:17   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   27 Aug 2002 19:03:23   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   27 Aug 2002 20:20:37   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   28 Aug 2002 11:36:45   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   28 Aug 2002 13:51:09   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   28 Aug 2002 20:40:24   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   29 Aug 2002 01:40:47   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   29 Aug 2002 05:33:15   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   28 Aug 2002 20:34:20   Hа: Отчёты, сериализуемость, фантомы и MS SQL    Sergey Pratch   29 Aug 2002 01:40:46   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   30 Aug 2002 18:01:49   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 16:30:40   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 17:25:41   Re: Отчёты, сериализуемость, фантомы и MS SQL   Andrew Grachyov   28 Aug 2002 00:03:00   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   28 Aug 2002 18:19:46   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   26 Aug 2002 22:09:32   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   27 Aug 2002 00:41:49   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 17:01:16   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 17:25:41   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   27 Aug 2002 19:15:32   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   27 Aug 2002 19:40:04   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   27 Aug 2002 20:20:38   Re: Отчёты, сериализуемость, фантомы и MS SQL   Vladimir Pavlikov   28 Aug 2002 17:41:03   Re: Отчёты, сериализуемость, фантомы и MS SQL   Liliya Huff   27 Aug 2002 21:11:15   Re: Отчёты, сериализуемость, фантомы и MS SQL   Tengiz Kharatishvili   28 Aug 2002 08:06:49