Расписанием называется упорядоченная последовательность действий, предпринимаемых в процессе выполнения одной или нескольких транзакции.
Расписание последовательно, если оно подразумевает выполнение всех действий одной транзакции, а затем всех действий другой транзакции, и т.д.
В приведённой таблице отражены транзакции T1 и T2, а также изменения переменных, которые эти транзакции затрагивают.
T1 | T2 | A | B |
---|---|---|---|
25 | 25 | ||
READ(A,t) | |||
t:=t+100 | |||
WRITE(A,t) | 125 | ||
READ(B,t) | |||
t:=t+100 | |||
WRITE(B,t) | 125 | ||
READ(A,s) | |||
s:=s*2 | |||
WRITE(A,s) | 250 | ||
READ(B,s) | |||
s:=s*2 | |||
WRITE(B,s) | 250 |
Пара последовательных действий в расписании считается конфликтной, если изменение взаимного порядка их выполнения оказывает влияние на поведение хотя бы одной из транзакций.
Обозначим действия транзакции: ri(X), wi(X), где r - операция чтения, w - операция записи, i - номер транзакции, X - элемент базы данных.
Перестановки действий различных транзакций допустимы, если:
или
Расписание называется условно-последовательным, если результат его реализации оказывается аналогичным результату реализации последовательного расписания. Смотри Граф предшествования.
T1 | T2 | A | B |
---|---|---|---|
25 | 25 | ||
READ(A,t) | |||
t:=t+100 | |||
WRITE(A,t) | 125 | ||
READ(A,s) | |||
s:=s*2 | |||
WRITE(A,s) | 250 | ||
READ(B,t) | |||
t:=t+100 | |||
WRITE(B,t) | 125 | ||
READ(B,s) | |||
s:=s*2 | |||
WRITE(B,s) | 250 |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .