Zapis dokaza metode
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).
Izvorni zapis
Citati kopirani doslovno iz izvornog zapisa metode. Ne impliciraju nikakvu provjeru na razini tvrdnje.
Database Concurrency Control and Locking Mechanisms
Taksonomski zapis metode · 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
Uređene tvrdnje
Tvrdnje pohranjene u knjigu dokaza, svaka s vlastitom procjenom.
Nema uređenih tvrdnji
Ovaj prikaz ne izmišlja procjenu tvrdnje kada knjiga dokaza nema nijednu.
Povezane metode
Generirano iz grafa metode i prikazano kao strojno predložene relacije — ne implicira se nikakva tvrdnja dokaza.