Zapis dowodowy metody
Concurrency Control
Concurrency control is the set of mechanisms used to coordinate concurrent transactions accessing shared data without corrupting the database. Formalized by database theorists in the 1970s-1980s, concurrency control ensures that multiple simultaneous transactions produce the same result as if they executed sequentially (serializability).
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Database Concurrency Control and Locking Mechanisms
Taksonomiczny zapis metody · process-pipeline / information-systems
- Gray, J. (1981). The transaction concept: Virtues and limitations. VLDB Endowment, 7(6), 519-539. · URL
- Reed, D. P. (1978). Naming and synchronization in a decentralized computer system. Ph.D. Dissertation, MIT. · URL
- Papadimitriou, C. H. (1986). The Theory of Database Concurrency Control. Computer Science Press. · URL
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Brak wyselekcjonowanych twierdzeń
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.