Mechanismus zaruΦujφcφ, ₧e se urΦit² sled operacφ provede bu∩ vcelku nebo se neprovede v∙bec a databßze z∙stane ve stavu, v jakΘm byla p°ed zapoΦetφm transakce; vyluΦuje provedenφ pouze Φßsti po₧adavk∙ a tφm zajiÜ¥uje zachovßnφ konzistence databßze.