Учитывая расписание с 2 транзакциями:
Нас попросили проверить, сериализуемо ли данное расписание только как T1, T или T2,T1 или не оба ..
Мой подход состоял в том, чтобы проверить конфликт и посмотреть сериализуемость, и, поскольку он не удался для обоих, я пришел к выводу, что он не сериализуем.Я думаю, что мы также можем проверить, соответствует ли результат данного расписания любому из последовательных расписаний по определению сериализуемости.Итак, я сомневаюсь, какой подход лучше или есть лучший способ прийти к такому же выводу?