1) Delali jsme precedencni graf i s abortnutejma transakcema
2) Tvrdil, ze v 2PL se po prvnim odemknuti uz v dane transakci nesmi zamknout ZADNA entita
3) Tvrdil, ze nezotavitelnost muze vniknout jen, kdyz nejaka transakce skonci abortem. Jen v tom pripade, ze abortovana transakce meni nejakou entitu, kterou potom jina transakce cte a commitne se driv nez ta prvni abortne.
Tak ted mi nekdo reknete, kde je pravda?
