Transakce je dobře formovaná, pokud:
– uzamkne každý objekt, k němuž přistupuje- nezamkne žádný objekt, který už je zamknut- po svém provedení zruší zámekTransakce je dvoufázová, pokud uzamkne všechny své potřebné objekty dříve než zruší jakýkoliv ze svých zámků.Transakce prochází 2 fázemi:V první se provede vícefázové uzamčení, ve druhé se provede zrušení uzamčení.Existují výlučné zámky (uzamkne objekt a je jeho výlučným uživatelem) a sdílené zámky (jiným objektům je omezený přístup, například pouze čtení)Časové značky
Je to číslo spojené s objektem nebo s událostí (tj. kdy značka vznikla)· každá transakce musí být označena časovou značkou, datový objekt je označen časovou značkou poslední transakce, která větu četla nebo zapsala· dochází k aktualizaci značek při čtení nebo zápisu· nastane konflikt, pokud stará transakce čte nejnovější značky· serializovatelnost se zabezpečí zvolením návazností časových značek· COMMIT znamená úspěšné ukončení transakce a trvalý zápis· ABORT znamená neúspěšné ukončení transakce a návrat k předchozímu stavuDo teď vše probíhalo v jednom uzlu.
