Я узнаю о сериализуемости конфликтов во введении в класс баз данных.Я знаю, как проверить, сериализуема ли схема транзакций при чтении и записи.Нарисуйте график приоритетов и проверьте, является ли он ациклическим.Но что делать, если нет чтения и записи, а разблокировки, общие блокировки и эксклюзивные блокировки.Как определить, является ли такая схема сериализуемой по конфликту?
Ниже приведена картина вопроса.Я надеюсь, что кто-то может направить меня в правильном направлении.