Transaction Management
Transaction management is the mechanism by which database systems ensure reliable execution of multiple interdependent operations as atomic units. Formalized by Jim Gray and colleagues in the 1980s, transactions guarantee ACID properties (Atomicity, Consistency, Isolation, Durability) that protect data integrity even in the face of failures and concurrent access.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
- Gray, J. (1981). The transaction concept: Virtues and limitations. VLDB Endowment, 7(6), 519-539. · URL
- Papadimitriou, C. H. (1986). The Theory of Database Concurrency Control. Computer Science Press. · URL
- Garcia-Molina, H., Ullman, J. D., & Widom, J. (2009). Database Systems: The Complete Book (2nd ed.). Pearson Education. · URL
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.