Die Ausführung in einem 2V2PL-Scheduler würde also zu einem Deadlock führen, da Unlocks stets nach den Certify-Sperren ausgeführt werden müssen (2PL!).
S kann also nicht durch 2V2PL-Protokoll entstanden sein.
Widerspruch zur Annahme!
Also gilt das Gegenteil: Jeder 2V2PL-Schedule ist MVCPSR.
!!! Dieses Dokument stammt aus dem ETH Web-Archiv und wird nicht mehr gepflegt !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!