Modul řízení transakcí

• akce při

• read(X): if B obsahuje X then XT else vyber kopii X a pošli požadavek do lokálního SŘBD S, který pak umístí X do B.

• write(X): if B obsahuje X then proveď aktualizaci všech jeho kopií else vytvoř kopii X s danou hodnotou.

• Požadavek na EOT. Provede akce např. podle 2PC.