Rekod bukti kaedah
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).
Rekod sumber
Petikan disalin secara verbatim daripada rekod sumber kaedah. Tiada pengesahan peringkat tuntutan disimpulkan daripadanya.
Database Concurrency Control and Locking Mechanisms
Rekod kaedah taksonomik · 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
Tuntutan yang dikurasi
Tuntutan disimpan dalam lejar bukti, setiap satu dengan penilaiannya sendiri.
Tiada tuntutan terkurasi lagi
Pandangan ini tidak mencipta penilaian tuntutan apabila lejar tiada.
Kaedah berkaitan
Dijana daripada graf kaedah dan ditunjukkan sebagai perhubungan yang dicadangkan mesin — tiada tuntutan bukti disimpulkan.